| Original language | English |
|---|---|
| Title of host publication | International Conference on Computer Aided Verification |
| Publisher | Springer |
| Pages | 610-623 |
| Publication status | Published - 2002 |
Treatment code (Nähere Zuordnung)
- Theoretical
- Application
Fair simulation minimization
Roderick Paul Bloem, S. Gurumurthy, F. Somenzi
Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review