Login / Signup
Reachability Analysis of Synchronized PA Systems.
Ahmed Bouajjani
Javier Esparza
Tayssir Touili
Published in:
INFINITY (2004)
Keyphrases
</>
reachability analysis
relational databases
learning systems
complex systems
model checking
markov decision processes
real time
real time systems