Original language | English |
---|---|
Title of host publication | International Conference on Computer Aided Verification |
Publisher | Springer |
Pages | 222-235 |
Publication status | Published - 1999 |
Event | International Conference on Computer Aided Verification - Trento, Italy Duration: 7 Jul 1999 → 10 Jul 1999 |
Conference
Conference | International Conference on Computer Aided Verification |
---|---|
Country/Territory | Italy |
City | Trento |
Period | 7/07/99 → 10/07/99 |
Treatment code (Nähere Zuordnung)
- Application
- Theoretical