%0 Conference Paper %1 conf/asm/BonfantiGM18 %A Bonfanti, Silvia %A Gargantini, Angelo %A Mashkoor, Atif %B ABZ %D 2018 %E Butler, Michael J. %E Raschke, Alexander %E Hoang, Thai Son %E Reichl, Klaus %I Springer %K dblp %P 369-373 %T AsmetaA: Animator for Abstract State Machines. %U http://dblp.uni-trier.de/db/conf/asm/abz2018.html#BonfantiGM18 %V 10817 %@ 978-3-319-91271-4

@inproceedings{conf/asm/BonfantiGM18, added-at = {2019-09-16T00:00:00.000+0200}, author = {Bonfanti, Silvia and Gargantini, Angelo and Mashkoor, Atif}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2aea5c7d73b441afdbce08da688549fe8/dblp}, booktitle = {ABZ}, crossref = {conf/asm/2018}, editor = {Butler, Michael J. and Raschke, Alexander and Hoang, Thai Son and Reichl, Klaus}, ee = {https://doi.org/10.1007/978-3-319-91271-4_25}, interhash = {94f80a97ffaaa21b4f81c6e1f7593d6d}, intrahash = {aea5c7d73b441afdbce08da688549fe8}, isbn = {978-3-319-91271-4}, keywords = {dblp}, pages = {369-373}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:47:06.000+0200}, title = {AsmetaA: Animator for Abstract State Machines.}, url = {http://dblp.uni-trier.de/db/conf/asm/abz2018.html#BonfantiGM18}, volume = 10817, year = 2018 }