| Original language | English |
|---|
| Publisher | Pergamon Press |
|---|---|
| ISBN (Print) | 0444512918 |
| Publication status | Published - 2002 |
| Series | Electronical notes in theoretical computer science |
|---|---|
| Number | 68 |
A Performance Study of Distributed Timed Automata Reachability Analysis
Gerd Behrmann
Research output: Book/Report › Book › Research
12
Citations
(Scopus)