%0 Conference Paper %1 conf/safecomp/StammBK93 %A Stamm, Bernhard %A Baumann, René %A Kündig-Herzog, Martin %B SAFECOMP %D 1993 %E Górski, Janusz %I Springer %K dblp %P 182-193 %T A Safety Critical Computer System in a Railway Application. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp1993.html#StammBK93 %@ 978-3-540-19838-3

@inproceedings{conf/safecomp/StammBK93, added-at = {2019-06-24T00:00:00.000+0200}, author = {Stamm, Bernhard and Baumann, René and Kündig-Herzog, Martin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/25dcfc74b6f81dad80b536c1f70c63d60/dblp}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/1993}, editor = {Górski, Janusz}, ee = {https://doi.org/10.1007/978-1-4471-2061-2_20}, interhash = {1a5da7952d4998b6ed5ac3522317dce9}, intrahash = {5dcfc74b6f81dad80b536c1f70c63d60}, isbn = {978-3-540-19838-3}, keywords = {dblp}, pages = {182-193}, publisher = {Springer}, timestamp = {2019-09-27T13:43:08.000+0200}, title = {A Safety Critical Computer System in a Railway Application.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp1993.html#StammBK93}, year = 1993 }