DMCA

Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover (2002)

by Paul Z. Kolano
Venue:5th International AMAST Workshop on RealTime and Probabilistic Systems, LNCS
Citations:3 - 0 self