author = { Kinder, Sebastian },

title = { Automated validation and verification of railway specific components and systems },

publisher = {Shaker},

isbn = {9783832270438},

keywords = { Hochschulschrift , Schienenverkehr , Automation , Bounded Model Checking , Binäres Entscheidungsdiagramm , Erfüllbarkeitsproblem },

year = {2008},

booktitle = {Berichte aus der Informatik},

address = { Aachen },

url = { http://slubdd.de/katalog?TN_libero_mab2 }