Paper Info
Title
Combining control and data abstraction in the verification of hybrid systems.
Year
DOI
Venue
2009
10.1109/MEMCOD.2009.5185390
MEMOCODE
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
Xavier Briand100.34
Bertrand Jeannet264129.06