Login / Signup
MEC: A System for Constructing and Analysis Transition Systems.
André Arnold
Published in:
AMAST (1991)
Keyphrases
</>
model checking