%0 Conference Paper %1 conf/forms/GacnikJKF10 %A Gacnik, Jan %A Jost, Henning %A Köster, Frank %A Fränzle, Martin %B FORMS/FORMAT %D 2010 %E Schnieder, Eckehard %E Tarnai, Géza %I Springer %K dblp %P 207-215 %T The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge. %U http://dblp.uni-trier.de/db/conf/forms/forms2010.html#GacnikJKF10 %@ 978-3-642-14260-4

@inproceedings{conf/forms/GacnikJKF10, added-at = {2012-03-06T00:00:00.000+0100}, author = {Gacnik, Jan and Jost, Henning and Köster, Frank and Fränzle, Martin}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2cdc07d918357e7b8337f36e50fb81b8b/dblp}, booktitle = {FORMS/FORMAT}, crossref = {conf/forms/2010}, editor = {Schnieder, Eckehard and Tarnai, Géza}, ee = {http://dx.doi.org/10.1007/978-3-642-14261-1_21}, interhash = {f8918d6dec339c5d9e8bc31a711c0a2a}, intrahash = {cdc07d918357e7b8337f36e50fb81b8b}, isbn = {978-3-642-14260-4}, keywords = {dblp}, pages = {207-215}, publisher = {Springer}, timestamp = {2016-02-02T14:36:18.000+0100}, title = {The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge.}, url = {http://dblp.uni-trier.de/db/conf/forms/forms2010.html#GacnikJKF10}, year = 2010 }