Original language | English |
---|---|
Title of host publication | Correct System Design : Recent Insights and Advances |
Editors | Olderog, E.-R. : Steffen, B. (eds.) |
Place of Publication | Berlin |
Publisher | IEEE Computer Society Press |
Publication date | 1999 |
Pages | 61-78 |
ISBN (Print) | 3540666249 |
Publication status | Published - 1999 |
Series | Lecture Notes in Computer Science |
---|---|
Number | 1710 |
ISSN | 0302-9743 |