Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}