Milan Ceska, Ludek Hasa, Tomás Vojnar. Partial-Order Reduction in Model Checking Object-Oriented Petri Nets. In Roberto Moreno-Díaz, Franz Pichler, editors, Computer Aided Systems Theory - EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers. Volume 2809 of Lecture Notes in Computer Science, pages 265-278, Springer, 2003. [doi]
@inproceedings{CeskaHV03, title = {Partial-Order Reduction in Model Checking Object-Oriented Petri Nets}, author = {Milan Ceska and Ludek Hasa and Tomás Vojnar}, year = {2003}, url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2809&spage=265}, tags = {model checking, meta-model, object-role modeling, Meta-Environment}, researchr = {https://researchr.org/publication/CeskaHV03}, cites = {0}, citedby = {0}, pages = {265-278}, booktitle = {Computer Aided Systems Theory - EUROCAST 2003, 9th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 2003, Revised Selected Papers}, editor = {Roberto Moreno-Díaz and Franz Pichler}, volume = {2809}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-20221-8}, }