Login / Signup
Synthesising Elementary Net Systems with Inhibitor Arcs from Step Transition Systems.
Marta Pietkiewicz-Koutny
Published in:
Fundam. Informaticae (2002)
Keyphrases
</>
distributed systems
transition systems
software development
knowledge based systems
model checking
finite state
description language