Translated title of the contribution | Alleviating State Explosion During Verification of Behavioral Equivalence |
---|---|
Original language | English |
Publisher | University of Helsinki |
Number of pages | 57 |
Publication status | Published - 1992 |
Publication type | D4 Published development or research report or study |
Publication series
Name | Report of Dept. of Computer Science, University of Helsinki |
---|---|
Publisher | University of Helsinki |
No. | A-1991-4 |
Publication forum classification
- No publication forum level