%0 Conference Paper %1 conf/fm/RusuMJ05 %A Rusu, Vlad %A Marchand, Hervé %A Jéron, Thierry %B FM %D 2005 %E Fitzgerald, John S. %E Hayes, Ian J. %E Tarlecki, Andrzej %I Springer %K dblp %P 189-204 %T Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems. %U http://dblp.uni-trier.de/db/conf/fm/fm2005.html#RusuMJ05 %V 3582 %@ 3-540-27882-6

@inproceedings{conf/fm/RusuMJ05, added-at = {2017-05-22T00:00:00.000+0200}, author = {Rusu, Vlad and Marchand, Hervé and Jéron, Thierry}, biburl = {https://www.bibsonomy.org/bibtex/29a0d655d5a9a31495645d83fdc3e07d0/dblp}, booktitle = {FM}, crossref = {conf/fm/2005}, editor = {Fitzgerald, John S. and Hayes, Ian J. and Tarlecki, Andrzej}, ee = {https://doi.org/10.1007/11526841_14}, interhash = {14302d0b3d0750bb9ef408bddeda0590}, intrahash = {9a0d655d5a9a31495645d83fdc3e07d0}, isbn = {3-540-27882-6}, keywords = {dblp}, pages = {189-204}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:59:14.000+0200}, title = {Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2005.html#RusuMJ05}, volume = 3582, year = 2005 }