%0 Conference Paper %1 conf/nfm/RemenskaTWHVCB13 %A Remenska, Daniela %A Templon, Jeff %A Willemse, Tim A. C. %A Homburg, Philip %A Verstoep, Kees %A Ramo, Adrian Casajus %A Bal, Henri E. %B NASA Formal Methods %D 2013 %E Brat, Guillaume %E Rungta, Neha %E Venet, Arnaud %I Springer %K dblp %P 244-260 %T From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems. %U http://dblp.uni-trier.de/db/conf/nfm/nfm2013.html#RemenskaTWHVCB13 %V 7871 %@ 978-3-642-38088-4

@inproceedings{conf/nfm/RemenskaTWHVCB13, added-at = {2017-10-26T00:00:00.000+0200}, author = {Remenska, Daniela and Templon, Jeff and Willemse, Tim A. C. and Homburg, Philip and Verstoep, Kees and Ramo, Adrian Casajus and Bal, Henri E.}, biburl = {https://www.bibsonomy.org/bibtex/2432b3b32cd340439c135c3c9a258d162/dblp}, booktitle = {NASA Formal Methods}, crossref = {conf/nfm/2013}, editor = {Brat, Guillaume and Rungta, Neha and Venet, Arnaud}, ee = {https://doi.org/10.1007/978-3-642-38088-4_17}, interhash = {2c2a5436ddb20429f28d3ff97d2f4e0e}, intrahash = {432b3b32cd340439c135c3c9a258d162}, isbn = {978-3-642-38088-4}, keywords = {dblp}, pages = {244-260}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-12-08T01:53:45.000+0100}, title = {From UML to Process Algebra and Back: An Automated Approach to Model-Checking Software Design Artifacts of Concurrent Systems.}, url = {http://dblp.uni-trier.de/db/conf/nfm/nfm2013.html#RemenskaTWHVCB13}, volume = 7871, year = 2013 }