%0 Conference Paper %1 conf/sefm/RodriguezFHM14 %A Rodríguez, Ricardo J. %A Fredlund, Lars-Åke %A Herranz-Nieva, Ángel %A Mariño, Julio %B SEFM %D 2014 %E Giannakopoulou, Dimitra %E Salaün, Gwen %I Springer %K dblp %P 284-289 %T Execution and Verification of UML State Machines with Erlang. %U http://dblp.uni-trier.de/db/conf/sefm/sefm2014.html#RodriguezFHM14 %V 8702 %@ 978-3-319-10430-0

@inproceedings{conf/sefm/RodriguezFHM14, added-at = {2019-10-19T00:00:00.000+0200}, author = {Rodríguez, Ricardo J. and Fredlund, Lars-Åke and Herranz-Nieva, Ángel and Mariño, Julio}, biburl = {https://www.bibsonomy.org/bibtex/2e5a3c8ed38b364dcbdbc652f82cbdacf/dblp}, booktitle = {SEFM}, crossref = {conf/sefm/2014}, editor = {Giannakopoulou, Dimitra and Salaün, Gwen}, ee = {https://doi.org/10.1007/978-3-319-10431-7_22}, interhash = {6bf6620a4687277c87bfcd247e03b6c7}, intrahash = {e5a3c8ed38b364dcbdbc652f82cbdacf}, isbn = {978-3-319-10430-0}, keywords = {dblp}, pages = {284-289}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T15:28:15.000+0200}, title = {Execution and Verification of UML State Machines with Erlang.}, url = {http://dblp.uni-trier.de/db/conf/sefm/sefm2014.html#RodriguezFHM14}, volume = 8702, year = 2014 }