| Originalsprache | Englisch |
|---|---|
| Seiten (von - bis) | 537-541 |
| Seitenumfang | 5 |
| Fachzeitschrift | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Jahrgang | 3582 |
| DOIs | |
| Publikationsstatus | Veröffentlicht - 2005 |
| Extern publiziert | Ja |
| Veranstaltung | International Symposium of Formal Methods Europe, FM 2005 - Newcastle, Großbritannien/Vereinigtes Königreich Dauer: 18 Juli 2005 → 22 Juli 2005 |
Dieses zitieren
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver