Login / Signup

Using Petri Net Invariants in State Space Construction.

Karsten Schmidt
Published in: TACAS (2003)
Keyphrases