Login / Signup
Linear and Branching Metrics for Quantitative Transition Systems.
Luca de Alfaro
Marco Faella
Mariëlle Stoelinga
Published in:
ICALP (2004)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
multi agent
petri net
utility function
formal verification