Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier. Constraint-Based Framework for Reasoning with Differential Equations. In Çetin Kaya Koç, editor, Cyber-Physical Systems Security. pages 23-41, Springer, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.