Login / Signup
Three Simulation Algorithms for Labelled Transition Systems
Gérard Cécé
Published in:
CoRR (2013)
Keyphrases
</>
orders of magnitude
transition systems
computational complexity
np hard