Author Info
Name
Papers
Collaborators
A. M. PEETERS
2
2
Citations 
PageRank 
Referers 
4
1.18
10
Referees 
References 
12
7
Title
Citations
PageRank
Year
Interactive Test Generation from LOTOS Specifications30.561992
Testability of Formal Specifications10.621992