Author Info
Name
Affiliation
Papers
NAKATA, T.
Fujitsu Labs Amer Inc, Sunnyvale, CA 94086 USA
1
Collaborators
Citations 
PageRank 
3
8
2.36
Referers 
Referees 
References 
20
24
8
Title
Citations
PageRank
Year
An approach to verify a large scale system-on-a-chip using symbolic model checking82.361998