@inproceedings{5dd6831b9a434b138b8034bb4439849e,
title = "Comparing design techniques for modelling fault tolerant systems",
author = "Paddy Nixon and Dereck Marriott and Peter Croll",
year = "1994",
language = "English",
pages = "1--12",
booktitle = "SAFECOMP 1994: The 13th International Conference on Computer Safety, Reliability and Security - Anaheim, California",
publisher = "Springer",
address = "Netherlands",
note = "SAFECOMP 1994: The 13th International Conference on Computer Safety, Reliability and Security, SAFECOMP 1994 ; Conference date: 23-10-1994 Through 26-10-1994",
}