| Originalsprog | Engelsk |
|---|
| Forlag | Pergamon Press |
|---|---|
| Status | Udgivet - 2002 |
| Navn | Electronic notes in theoretical science |
|---|---|
| Nummer | 65 |
Citationsformater
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Exact Acceleration of Real-Time Model Checking
- M. Hendriks
- , Kim Guldstrand Larsen
Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning
26
Link åbnes på en ny fane
Citationer
(Scopus)