Author Info
Name
Affiliation
Papers
R. J. WEISS
Dept. of Comput. Eng., Tubingen Univ., Germany
2
Collaborators
Citations 
PageRank 
5
4
0.72
Referers 
Referees 
References 
14
65
31
Title
Citations
PageRank
Year
Overlap reduction in symbolic system traversal10.352005
Dynamic guiding of bounded property checking30.372004