Login / Signup
Transition Systems for Model Generators - A Unifying Approach
Yuliya Lierler
Miroslaw Truszczynski
Published in:
CoRR (2011)
Keyphrases
</>
temporal logic
software systems