Title
Change and Delay Contracts for Hybrid System Component Verification.
Year
Venue
DocType
2017
European Joint Conferences on Theory And Practice of Software
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
5
Name
Order
Citations
PageRank
Andreas Müller101.01
Stefan Mitsch225229.32
Werner Retschitzegger31197130.53
Wieland Schwinger487860.47
André Platzer503.04