%0 Conference Paper %1 conf/asm/ArcainiBG12 %A Arcaini, Paolo %A Bolis, Francesco %A Gargantini, Angelo %B ABZ %D 2012 %E Derrick, John %E Fitzgerald, John S. %E Gnesi, Stefania %E Khurshid, Sarfraz %E Leuschel, Michael %E Reeves, Steve %E Riccobene, Elvinia %I Springer %K dblp %P 36-50 %T Test Generation for Sequential Nets of Abstract State Machines. %U http://dblp.uni-trier.de/db/conf/asm/abz2012.html#ArcainiBG12 %V 7316 %@ 978-3-642-30884-0

@inproceedings{conf/asm/ArcainiBG12, added-at = {2017-06-15T00:00:00.000+0200}, author = {Arcaini, Paolo and Bolis, Francesco and Gargantini, Angelo}, biburl = {https://www.bibsonomy.org/bibtex/278bea178000ae2a90bda84c3a13477fe/dblp}, booktitle = {ABZ}, crossref = {conf/asm/2012}, editor = {Derrick, John and Fitzgerald, John S. and Gnesi, Stefania and Khurshid, Sarfraz and Leuschel, Michael and Reeves, Steve and Riccobene, Elvinia}, ee = {https://doi.org/10.1007/978-3-642-30885-7_3}, interhash = {9ee1e5f12c23b5d342db9cae533874c4}, intrahash = {78bea178000ae2a90bda84c3a13477fe}, isbn = {978-3-642-30884-0}, keywords = {dblp}, pages = {36-50}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T13:05:56.000+0200}, title = {Test Generation for Sequential Nets of Abstract State Machines.}, url = {http://dblp.uni-trier.de/db/conf/asm/abz2012.html#ArcainiBG12}, volume = 7316, year = 2012 }