%0 Conference Paper %1 conf/kbse/LauterburgDMA09 %A Lauterburg, Steven %A Dotta, Mirco %A Marinov, Darko %A Agha, Gul A. %B ASE %D 2009 %I IEEE Computer Society %K %P 468-479 %T A Framework for State-Space Exploration of Java-Based Actor Programs. %U http://dblp.uni-trier.de/db/conf/kbse/ase2009.html#LauterburgDMA09 %@ 978-0-7695-3891-4

@inproceedings{conf/kbse/LauterburgDMA09, added-at = {2023-12-13T07:43:47.000+0100}, author = {Lauterburg, Steven and Dotta, Mirco and Marinov, Darko and Agha, Gul A.}, biburl = {https://www.bibsonomy.org/bibtex/2f4406190867ecc5413573b4ef792979b/admin}, booktitle = {ASE}, crossref = {conf/kbse/2009}, ee = {http://doi.ieeecomputersociety.org/10.1109/ASE.2009.88}, interhash = {bc7bed301924323ad36310665ccf48e7}, intrahash = {f4406190867ecc5413573b4ef792979b}, isbn = {978-0-7695-3891-4}, keywords = {}, pages = {468-479}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T07:43:47.000+0100}, title = {A Framework for State-Space Exploration of Java-Based Actor Programs.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2009.html#LauterburgDMA09}, year = 2009 }