%0 Conference Paper %1 conf/fm/GrumbergMY12 %A Grumberg, Orna %A Meller, Yael %A Yorav, Karen %B FM %D 2012 %E Giannakopoulou, Dimitra %E Méry, Dominique %I Springer %K dblp %P 277-292 %T Applying Software Model Checking Techniques for Behavioral UML Models. %U http://dblp.uni-trier.de/db/conf/fm/fm2012.html#GrumbergMY12 %V 7436 %@ 978-3-642-32758-2

@inproceedings{conf/fm/GrumbergMY12, added-at = {2017-05-22T00:00:00.000+0200}, author = {Grumberg, Orna and Meller, Yael and Yorav, Karen}, biburl = {https://www.bibsonomy.org/bibtex/290259ae40bd118238bf7ee2318546694/dblp}, booktitle = {FM}, crossref = {conf/fm/2012}, editor = {Giannakopoulou, Dimitra and Méry, Dominique}, ee = {https://doi.org/10.1007/978-3-642-32759-9_25}, interhash = {ad2db68408aeb686d288621a7719f96c}, intrahash = {90259ae40bd118238bf7ee2318546694}, isbn = {978-3-642-32758-2}, keywords = {dblp}, pages = {277-292}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:59:05.000+0200}, title = {Applying Software Model Checking Techniques for Behavioral UML Models.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2012.html#GrumbergMY12}, volume = 7436, year = 2012 }