Comparing Different Fault Models Using VERIFY
Sieh V (1997)
Publication Type: Conference contribution
Publication year: 1997
Publisher: IEEE Computer Society
Series: Dependable Computing and Fault-Tolerant Systems
City/Town: Los Alamitos
Book Volume: 11
Pages Range: 59-76
Conference Proceedings Title: Proceedings 6th Conference on Dependable Computing for Critical Applications (DCCA-6)
Event location: Grainau, Germany
ISBN: 0-8186-8009-1
URI: http://www3.informatik.uni-erlangen.de/Publications/Articles/sieh_dcca6.pdf
Authors with CRIS profile
How to cite
APA:
Sieh, V. (1997). Comparing Different Fault Models Using VERIFY. In Proceedings 6th Conference on Dependable Computing for Critical Applications (DCCA-6) (pp. 59-76). Grainau, Germany, DE: Los Alamitos: IEEE Computer Society.
MLA:
Sieh, Volkmar. "Comparing Different Fault Models Using VERIFY." Proceedings of the 6th Conference on Dependable Computing for Critical Applications (DCCA-6), Grainau, Germany Los Alamitos: IEEE Computer Society, 1997. 59-76.
BibTeX: Download