| Originalsprache | Englisch |
|---|---|
| Titel | A Practical Industry-Oriented Approach - CAVIS03, Workshop |
| Herausgeber*innen | Proceedings of Computer Aided Verification of Information Systems |
| Publikationsstatus | Veröffentlicht - 2003 |
Wissenschaftszweige
- 101 Mathematik
- 101001 Algebra
- 101005 Computeralgebra
- 101009 Geometrie
- 101012 Kombinatorik
- 101013 Mathematische Logik
- 101020 Technische Mathematik
Dieses zitieren
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver