A. M. Peeters

List of publications from the DBLP Bibliography Server - FAQ

1992

2 S. P. van de Burgt, Jan Kroon, A. M. Peeters: Testability of Formal Specifications. PSTV 1992: 63-77

1 S. P. van de Burgt, Jan Kroon, A. M. Peeters: Interactive Test Generation from LOTOS Specifications. Protocol Test Systems 1992: 189-203

1992
2		S. P. van de Burgt, Jan Kroon, A. M. Peeters: Testability of Formal Specifications. PSTV 1992: 63-77
1		S. P. van de Burgt, Jan Kroon, A. M. Peeters: Interactive Test Generation from LOTOS Specifications. Protocol Test Systems 1992: 189-203

Coauthor Index