Login / Signup
Transition Systems of Elementary Net Systems with Inhibitor Arcs.
Marta Pietkiewicz-Koutny
Published in:
ICATPN (1997)
Keyphrases
</>
transition systems
distributed systems
concurrent systems
domain specific
model checking