DMCA

Verifying Quantitative Real-Time Properties of Synchronous Programs (1993)

Cached

Download Links

by M. Jourdan , F. Maraninchi , A. Olivero
Venue:5th International Conference on Computer-aided Verification, LNCS 697
Citations:22 - 10 self