Towards Physical Hybrid Systems.

Katherine Cordwell, Andr Platzer

Browse the full CADE paper archive.