| Original language | English |
|---|
| Place of Publication | Aalborg |
|---|---|
| Publisher | Aalborg Universitetsforlag |
| Publication status | Published - 1998 |
| Series | R : Institut for Elektroniske Systemer, Aalborg Universitet |
|---|---|
| Number | R98-5009 |
| ISSN | 1397-8640 |
Compositional Verification of Concurrent Systems
K. J. Kristoffersen
Research output: Book/Report › Book › Research
38
Citations
(Scopus)