DMCA

Refactoring, Refinement, and Reasoning A Logical Characterization for Hybrid Systems

Cached

Download Links

by Stefan Mitsch , Jan-david Quesel , Andre ́ Platzer
Citations:1 - 1 self