%0 Conference Paper %1 conf/syde/HaxthausenP15 %A Haxthausen, Anne E. %A Peleska, Jan %B SyDe Summer School %D 2015 %E Drechsler, Rolf %E Kühne, Ulrich %I Springer %K dblp %P 82-121 %T Model Checking and Model-Based Testing in the Railway Domain. %U http://dblp.uni-trier.de/db/conf/syde/syde2015.html#HaxthausenP15 %@ 978-3-658-09994-7

@inproceedings{conf/syde/HaxthausenP15, added-at = {2020-02-28T00:00:00.000+0100}, author = {Haxthausen, Anne E. and Peleska, Jan}, biburl = {https://www.bibsonomy.org/bibtex/268ded460ba3ef4313a45f9dbe5afda53/dblp}, booktitle = {SyDe Summer School}, crossref = {conf/syde/2015}, editor = {Drechsler, Rolf and Kühne, Ulrich}, ee = {https://doi.org/10.1007/978-3-658-09994-7_4}, interhash = {8f1d36d9d14cbc545e7b810fdfa55f3e}, intrahash = {68ded460ba3ef4313a45f9dbe5afda53}, isbn = {978-3-658-09994-7}, keywords = {dblp}, pages = {82-121}, publisher = {Springer}, timestamp = {2020-02-29T11:40:20.000+0100}, title = {Model Checking and Model-Based Testing in the Railway Domain.}, url = {http://dblp.uni-trier.de/db/conf/syde/syde2015.html#HaxthausenP15}, year = 2015 }