- Record: found
- Abstract: not found
- Book Chapter: not found
Formal Modeling and Analysis of Timed Systems
On the Verification of Timed Ad Hoc Networks
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references12
- Record: found
- Abstract: not found
- Book Chapter: not found
Timed Petri Nets and BQOs
Parosh Aziz Abdulla, Aletta Nylen (2001)
- Record: found
- Abstract: not found
- Article: not found
Subgraphs and well-quasi-ordering
Guoli Ding (1992)
- Record: found
- Abstract: not found
- Book Chapter: not found