Timed Unfoldings for Networks of Timed Automata.
Patricia BouyerSerge HaddadPierre-Alain ReynierPublished in: ATVA (2006)
Keyphrases
- timed automata
- model checking
- reachability analysis
- theorem prover
- theorem proving
- first order logic
- network analysis
- social networks
- real time systems
- network structure
- complex networks
- temporal logic
- network design
- telecommunication networks
- network topologies
- network parameters
- real time
- network model
- connectionist networks
- petri net