Author Info
Name
Affiliation
Papers
QUER, S.
Politecnico di Torino, Dip. di Automatica e Informatica, Turin, ITALY
1
Collaborators
Citations 
PageRank 
3
7
0.92
Referers 
Referees 
References 
15
24
9
Title
Citations
PageRank
Year
Verification and synthesis of counters based on symbolic techniques70.921997