UPPAAL in a Nutshell

Kim Guldstrand Larsen, W. P. Pettersson, Wang Yi

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

1416 Citationer (Scopus)
OriginalsprogEngelsk
TidsskriftInternational Journal on Software Tools for Technology Transfer
Vol/bind1
ISSN1433-2779
StatusUdgivet - 1997

Citationsformater