| Original language | English |
|---|---|
| Title of host publication | Correct System Design |
| Publisher | Springer Berlin Heidelberg |
| Publication date | 1999 |
| Pages | 114-136 |
| ISBN (Electronic) | 978-3-540-48092-1 |
| Publication status | Published - 1999 |
| Series | Lecture Notes in Computer Science |
|---|---|
| Volume | 1710 |
| ISSN | 0302-9743 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver