Login / Signup
Reducing Quasi-Equal Clocks in Networks of Timed Automata.
Christian Herrera
Bernd Westphal
Sergio Feo Arenis
Marco Muñiz
Andreas Podelski
Published in:
FORMATS (2012)
Keyphrases
</>
timed automata
model checking
reachability analysis
social networks
first order logic
real time
theorem prover
network structure
theorem proving
neural network
databases
complex networks
wireless sensor networks
real world
real time systems
telecommunication networks
network size