Author Info
Name
Affiliation
Papers
T. RAUDVERE
R. Inst. of Technol., Stockholm, Sweden
2
Collaborators
Citations 
PageRank 
3
11
1.02
Referers 
Referees 
References 
27
62
33
Title
Citations
PageRank
Year
Application and Verification of Local Nonsemantic-Preserving Transformations in System Design20.422008
System level verification of digital signal processing applications based on the polynomial abstraction technique90.602005