TY  - BOOK
AU  - Schwichtenberg, Helmut
AU  - Steinbrüggen, Ralf
ED  - NATO Advanced Study Institute on Proof and System-Reliability (2001 : Marktoberdorf, Germany), North Atlantic Treaty Organization. Scientific Affairs Division
TI  - Proof and system-reliability
SN  - 9781402006081
SN  - 200206952
U1  - 003 SCH 
PY  - 2002///
CY  - Dordrecht ; Boston
PB  - Kluwer Academic Publishers
KW  - Computer systems - Reliability - Congresses
KW  - Proof theory - Congresses
N1  - Includes bibliographical references
ER  -