Login / Signup
Unfolding Concurrent Well-Structured Transition Systems.
Frédéric Herbreteau
Grégoire Sutre
The Quang Tran
Published in:
TACAS (2007)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
control flow
finite state
petri net
practical reasoning
data flow
reactive systems
search algorithm
distributed systems
information flow
real time systems