Login / Signup
QMC: A Model Checker for Quantum Systems.
Simon J. Gay
Rajagopal Nagarajan
Nikolaos Papanikolaou
Published in:
CAV (2008)
Keyphrases
</>
formal methods
model checking
model checker
distributed systems
machine learning
petri net