N.-A. Razermera-Mamy

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2001

1 Martin S. Feather, Stephen Fickas, N.-A. Razermera-Mamy: Model-Checking for Validation of a Fault Protection System. HASE 2001: 32-41

	2001
1		Martin S. Feather, Stephen Fickas, N.-A. Razermera-Mamy: Model-Checking for Validation of a Fault Protection System. HASE 2001: 32-41

Coauthor Index