Translated title of the contribution | A Stubborn Attack on State Explosion |
---|---|
Original language | English |
Pages (from-to) | 297-322 |
Journal | Formal Methods in System Design |
Issue number | 1 |
Publication status | Published - 1992 |
Publication type | A1 Journal article-refereed |
Publication forum classification
- No publication forum level