Search Results - "Petri nets" :: FRELIP Discovery

Search alternatives:

"Petri nets" »
- "Petri net" (Expand Search)
- "Petri news" (Expand Search)

Reducing the state explosion problem during model checking by Barnard, Dieter Cornelius

Published 2012
Subjects: “…Petri nets…”

Get full text

Full Text Available
Access Full Text at Repository
Thesis

Standalone Record Save to List
Saved in: