@inproceedings{2a0d166a1da34d6196015a998499d99c,
title = "Trace-based compositional reasoning about fault tolerant systems",
author = "H. Schepers and J.J.M. Hooman",
year = "1993",
doi = "10.1007/3-540-56891-3_16",
language = "English",
isbn = "3-540-56891-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "197--208",
editor = "A. Bode and M. Reeve and G. Wolf",
booktitle = "PARLE'93: Parallel Architectures and Languages Europe (M{\"u}nchen, Germany, June 14-17, 1993)",
address = "Germany",
}