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 |