Search Results - (("Petri news") OR ("petri net")) :: FRELIP Discovery

Search alternatives:

"Petri news" »
- "Petri new" (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: