%0 Book
%T Automated validation and verification of railway specific components and systems
%A Kinder, Sebastian
%I Shaker
%@ 9783832270438
%K Hochschulschrift
%K Schienenverkehr
%K Automation
%K Bounded Model Checking
%K Binäres Entscheidungsdiagramm
%K Erfüllbarkeitsproblem
%D 2008
%C Shaker
%C Aachen
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation