%0 Conference Paper %1 conf/spin/BenerecettiGMNP19 %A Benerecetti, Massimo %A Gentile, Ugo %A Marrone, Stefano %A Nardone, Roberto %A Peron, Adriano %A Starace, Luigi L. L. %A Vittorini, Valeria %B SPIN %D 2019 %E Biondi, Fabrizio %E Given-Wilson, Thomas %E Legay, Axel %I Springer %K dblp %P 56-73 %T From Dynamic State Machines to Promela. %U http://dblp.uni-trier.de/db/conf/spin/spin2019.html#BenerecettiGMNP19 %V 11636 %@ 978-3-030-30923-7

@inproceedings{conf/spin/BenerecettiGMNP19, added-at = {2020-12-29T00:00:00.000+0100}, author = {Benerecetti, Massimo and Gentile, Ugo and Marrone, Stefano and Nardone, Roberto and Peron, Adriano and Starace, Luigi L. L. and Vittorini, Valeria}, biburl = {https://www.bibsonomy.org/bibtex/2fe311459d70d6551e5b1c68bdb9bc7b9/dblp}, booktitle = {SPIN}, crossref = {conf/spin/2019}, editor = {Biondi, Fabrizio and Given-Wilson, Thomas and Legay, Axel}, ee = {https://doi.org/10.1007/978-3-030-30923-7_4}, interhash = {13cffdf00c707035e14d755452f07e54}, intrahash = {fe311459d70d6551e5b1c68bdb9bc7b9}, isbn = {978-3-030-30923-7}, keywords = {dblp}, pages = {56-73}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T20:33:27.000+0200}, title = {From Dynamic State Machines to Promela.}, url = {http://dblp.uni-trier.de/db/conf/spin/spin2019.html#BenerecettiGMNP19}, volume = 11636, year = 2019 }