↓ Skip to main content

Logical Foundations of Cyber-Physical Systems

Overview of attention for book
Attention for Chapter 13: Differential Invariants & Proof Theory
Altmetric Badge

Citations

dimensions_citation
149 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Differential Invariants & Proof Theory
Chapter number 13
Book title
Logical Foundations of Cyber-Physical Systems
Published by
Springer, Cham, January 2018
DOI 10.1007/978-3-319-63588-0_13
Book ISBNs
978-3-31-963587-3, 978-3-31-963588-0
Authors

André Platzer, Platzer, André