Author Info
Name
Affiliation
Papers
OLIVER MÖLLER
Verified Systems International GmbH, Bremen, Germany
1
Collaborators
Citations 
PageRank 
2
4
0.39
Referers 
Referees 
References 
21
67
26
Title
Citations
PageRank
Year
On the formal verification of systems of synchronous software components40.392012