↓ Skip to main content

Logical Foundations of Cyber-Physical Systems

Overview of attention for book
Attention for Chapter 21: Virtual Substitution & Real Arithmetic
Altmetric Badge


49 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
Virtual Substitution & Real Arithmetic
Chapter number 21
Book title
Logical Foundations of Cyber-Physical Systems
Published by
Springer, Cham, January 2018
DOI 10.1007/978-3-319-63588-0_21
Book ISBNs
978-3-31-963587-3, 978-3-31-963588-0

André Platzer