Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets
| Cím | Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets |
| Közlemény típusa | Journal Article |
| Kiadás éve | 2014 |
| Szerzők | Vörös, A., Darvas, D., Jámbor, A., and Bartha, T. |
| Folyóirat | Periodica Polytechnica, Electrical Engineering and Computer Science |
| Kötet | 58 |
| Kezdőoldal | 3 |
| Pagination | 11 |
| ISSN | 2064-5279 |
| URL | http://www.pp.bme.hu/eecs/article/viewFile/2080/6336 |
| DOI | 10.3311/PPee.2080 |
