Author Info
Name
Affiliation
Papers
J. C. MADRE
Bull Corporate Research Center, Rue Jean Jaurès, 78340 Les Clayes-sous-bois, France
4
Collaborators
Citations 
PageRank 
4
288
74.87
Referers 
Referees 
References 
500
76
44
Search Limit
100500
Title
Citations
PageRank
Year
The implicit set paradigm: a new approach to finite state system verification90.591995
Symbolic prime generation for multiple-valued functions102.811992
A logically complete reasoning maintenance system based on a logical constraint solver183.291991
Verification of synchronous sequential machines based on symbolic execution25168.181989