| Original language | English |
|---|
| Publisher | Pergamon Press |
|---|---|
| Publication status | Published - 2002 |
| Series | Electronic notes in theoretical science |
|---|---|
| Number | 65 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Exact Acceleration of Real-Time Model Checking
- M. Hendriks
- , Kim Guldstrand Larsen
Research output: Book/Report › Book › Research
26
Link opens in a new tab
Citations
(Scopus)