Mark Pfeiffer

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1995

1 Mark Pfeiffer, John Leaney: The Simple Reliable Monitor: A Formalisation of the Concept of a Safe Software Monitor. Australian Computer Journal 27(1): 9-15 (1995)

	1995
1		Mark Pfeiffer, John Leaney: The Simple Reliable Monitor: A Formalisation of the Concept of a Safe Software Monitor. Australian Computer Journal 27(1): 9-15 (1995)

Coauthor Index

1 John Leaney [1]