Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets
| Title | Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets |
| Publication Type | Journal Article |
| Year of Publication | 2014 |
| Authors | Vörös, A., Darvas, D., Jámbor, A., and Bartha, T. |
| Journal | Periodica Polytechnica, Electrical Engineering and Computer Science |
| Volume | 58 |
| Start Page | 3 |
| Pagination | 11 |
| ISSN | 2064-5279 |
| URL | http://www.pp.bme.hu/eecs/article/viewFile/2080/6336 |
| DOI | 10.3311/PPee.2080 |
