A. M. Peeters

Publication Activity (10 Years)

Years Active: 1992-1992
Publications (10 Years): 0

Publications

Stan P. van de Burgt, Jan Kroon, A. M. Peeters
Interactive Test Generation from LOTOS Specifications. Protocol Test Systems (1992)
Stan P. van de Burgt, Jan Kroon, A. M. Peeters
Testability of Formal Specifications. PSTV (1992)