| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | International Journal on Software Tools for Technology Transfer |
| Vol/bind | 1 |
| ISSN | 1433-2779 |
| Status | Udgivet - 1997 |
Citationsformater
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
UPPAAL in a Nutshell
- Kim Guldstrand Larsen
- , W. P. Pettersson
- , Wang Yi
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
1739
Link åbnes på en ny fane
Citationer
(Scopus)