Author Info
Name
Affiliation
Papers
DENDUANG PRADUBSUWUN
The author is with Tokyo Institute of Technology, Tokyo, 152--8552 Japan.,
1
Collaborators
Citations 
PageRank 
2
6
0.48
Referers 
Referees 
References 
3
10
7
Title
Citations
PageRank
Year
Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits60.482005