Login / Signup
Transition Systems of Elementary Net Systems with Localities.
Maciej Koutny
Marta Pietkiewicz-Koutny
Published in:
CONCUR (2006)
Keyphrases
</>
transition systems
knowledge base
model checking
formal methods