Verifying safety properties of differential equations (1996)

by Mark R Greenstreet
Venue:In Proceedings of the 1996 Conference on Computer Aided Verification