Author Info
Name
Affiliation
Papers
PAUL LOEWENSTEIN
NATIONAL SEMICONDUCTOR CORPORATION
1
Collaborators
Citations 
PageRank 
0
6
3.08
Referers 
Referees 
References 
7
7
5
Title
Citations
PageRank
Year
Reasoning about state machines in higher-order logic63.081989