Author Info
Name
Papers
Collaborators
FRANÇOIS HORN
2
6
Citations 
PageRank 
Referers 
5
1.05
12
Referees 
References 
18
6
Title
Citations
PageRank
Year
Providing Real-Time Object Oriented Industrial Messaging Services10.481998
Proof of Specification Properties by Using Finite State Machines and Temporal Logic40.571987