%0 Conference Paper %1 conf/adaEurope/BuchsLC09 %A Buchs, Didier %A Lucio, Levi %A Chen, Ang %B Ada-Europe %D 2009 %E Kordon, Fabrice %E Kermarrec, Yvon %I Springer %K dblp %P 59-74 %T Model Checking Techniques for Test Generation from Business Process Models. %U http://dblp.uni-trier.de/db/conf/adaEurope/adaEurope2009.html#BuchsLC09 %V 5570 %@ 978-3-642-01923-4

@inproceedings{conf/adaEurope/BuchsLC09, added-at = {2017-05-26T00:00:00.000+0200}, author = {Buchs, Didier and Lucio, Levi and Chen, Ang}, biburl = {https://www.bibsonomy.org/bibtex/232036c6f423e114af3b1580c388b32bf/dblp}, booktitle = {Ada-Europe}, crossref = {conf/adaEurope/2009}, editor = {Kordon, Fabrice and Kermarrec, Yvon}, ee = {https://doi.org/10.1007/978-3-642-01924-1_5}, interhash = {5ed29c0c057e29d5e2df656db93e4307}, intrahash = {32036c6f423e114af3b1580c388b32bf}, isbn = {978-3-642-01923-4}, keywords = {dblp}, pages = {59-74}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T15:59:59.000+0200}, title = {Model Checking Techniques for Test Generation from Business Process Models.}, url = {http://dblp.uni-trier.de/db/conf/adaEurope/adaEurope2009.html#BuchsLC09}, volume = 5570, year = 2009 }