Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets

CímAdvanced Saturation-based Model Checking of Well-formed Coloured Petri Nets
Közlemény típusaJournal Article
Kiadás éve2014
SzerzőkVörös, A., Darvas, D., Jámbor, A., and Bartha, T.
FolyóiratPeriodica Polytechnica, Electrical Engineering and Computer Science
Kötet58
Kezdőoldal3
Pagination11
ISSN2064-5279
URLhttp://www.pp.bme.hu/eecs/article/viewFile/2080/6336
DOI10.3311/PPee.2080