Verifying Safety Properties of Differential Equations (1996)

Cached

Download Links

by Mark Greenstreet
Venue:In Proceedings of the 1996 Conference on Computer Aided Verification
Citations:19 - 5 self