Login / Signup

Recovering Model Invariants from Simulation Traces with Petri Net Analysis Techniques.

Peter Kemper
Published in: WSC (2009)
Keyphrases