Originalsprache | englisch |
---|---|
Titel | International Conference on Computer Aided Verification |
Herausgeber (Verlag) | Springer |
Seiten | 610-623 |
Publikationsstatus | Veröffentlicht - 2002 |
Treatment code (Nähere Zuordnung)
- Theoretical
- Application
Roderick Paul Bloem, S. Gurumurthy, F. Somenzi
Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung
Originalsprache | englisch |
---|---|
Titel | International Conference on Computer Aided Verification |
Herausgeber (Verlag) | Springer |
Seiten | 610-623 |
Publikationsstatus | Veröffentlicht - 2002 |