Translated title of the contribution | Towards Analysis and Verification of Concurrent Systems by State Space Generation |
---|---|
Original language | English |
Place of Publication | Tampere |
Publisher | Tampere University of Technology |
Publication status | Published - 1988 |
Publication type | G5 Doctoral dissertation (articles) |
Publication series
Name | Tampereen teknillinen korkeakoulu. Julkaisuja |
---|---|
Publisher | Tampere University of Technology |
Publication forum classification
- No publication forum level