%0 Conference Paper %1 conf/asm/GrieskampNTV03 %A Grieskamp, Wolfgang %A Nachmanson, Lev %A Tillmann, Nikolai %A Veanes, Margus %B Abstract State Machines %D 2003 %E Börger, Egon %E Gargantini, Angelo %E Riccobene, Elvinia %I Springer %K %P 413 %T Test Case Generation from AsmL Specifications. %U http://dblp.uni-trier.de/db/conf/asm/asm2003.html#GrieskampNTV03 %V 2589 %@ 3-540-00624-9

@inproceedings{conf/asm/GrieskampNTV03, added-at = {2023-12-12T18:06:34.000+0100}, author = {Grieskamp, Wolfgang and Nachmanson, Lev and Tillmann, Nikolai and Veanes, Margus}, biburl = {https://www.bibsonomy.org/bibtex/2b645cea47f8e5c40f928c334a062b05c/admin}, 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_27}, interhash = {0d831ba722b21fa12957fa762aca9368}, intrahash = {b645cea47f8e5c40f928c334a062b05c}, isbn = {3-540-00624-9}, keywords = {}, pages = 413, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T18:06:34.000+0100}, title = {Test Case Generation from AsmL Specifications.}, url = {http://dblp.uni-trier.de/db/conf/asm/asm2003.html#GrieskampNTV03}, volume = 2589, year = 2003 }