%0 Conference Paper %1 conf/asm/Bertolino03 %A Bertolino, Antonia %B Abstract State Machines %D 2003 %E Börger, Egon %E Gargantini, Angelo %E Riccobene, Elvinia %I Springer %K dblp %P 1-21 %T Software Testing Research and Practice. %U http://dblp.uni-trier.de/db/conf/asm/asm2003.html#Bertolino03 %V 2589 %@ 3-540-00624-9

@inproceedings{conf/asm/Bertolino03, added-at = {2017-05-21T00:00:00.000+0200}, author = {Bertolino, Antonia}, biburl = {https://www.bibsonomy.org/bibtex/2e8898cb4ece0849251ac64ae7753c822/dblp}, booktitle = {Abstract State Machines}, crossref = {conf/asm/2003}, editor = {Börger, Egon and Gargantini, Angelo and Riccobene, Elvinia}, ee = {https://doi.org/10.1007/3-540-36498-6_1}, interhash = {b1099630a6d747867b4d41125e24306b}, intrahash = {e8898cb4ece0849251ac64ae7753c822}, isbn = {3-540-00624-9}, keywords = {dblp}, pages = {1-21}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:42:08.000+0200}, title = {Software Testing Research and Practice.}, url = {http://dblp.uni-trier.de/db/conf/asm/asm2003.html#Bertolino03}, volume = 2589, year = 2003 }