Paper Info
Title
André Platzer: Logical foundations of cyber-physical systems.
Year
DOI
Venue
2020
10.1007/s00165-020-00510-7
Formal Aspects of Computing
DocType
Volume
Issue
Journal
32
1
ISSN
Citations 
PageRank 
0934-5043
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
Alexander Knapp11039.18
Markus Roggenbach229432.63