| Original language | English |
|---|
| Publisher | Uppsala University |
|---|---|
| Publication status | Published - 2003 |
| Series | Reports |
|---|---|
| Number | 2003-011 |
A Tool Architecture for the Next Generation of Uppaal
Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Yi Wang
Research output: Book/Report › Book › Research
12
Citations
(Scopus)