Login / Signup
Making Timed Automata Communicate.
Jing Chen
Huimin Lin
Published in:
10th Anniversary Colloquium of UNU/IIST (2002)
Keyphrases
</>
timed automata
model checking
reachability analysis
theorem prover
artificial intelligence
first order logic
machine learning
information systems
case study
markov chain
temporal logic