Originalsprache | englisch |
---|---|
Titel | International Conference on Computer Aided Verification |
Herausgeber (Verlag) | Springer |
Seiten | 222-235 |
Publikationsstatus | Veröffentlicht - 1999 |
Veranstaltung | International Conference on Computer Aided Verification - Trento, Italien Dauer: 7 Juli 1999 → 10 Juli 1999 |
Konferenz
Konferenz | International Conference on Computer Aided Verification |
---|---|
Land/Gebiet | Italien |
Ort | Trento |
Zeitraum | 7/07/99 → 10/07/99 |
Treatment code (Nähere Zuordnung)
- Application
- Theoretical