Login / Signup
Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems.
Roberto Barbuti
Nicoletta De Francesco
Antonella Santone
Gigliola Vaglini
Published in:
J. Comput. Syst. Sci. (1999)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
formal specification
model checker
domain specific
business process
fully observable