DMCA

Compositional Verification of Real-time Systems (1994)

Cached

Download Links

by Edward Chang , Zohar Manna , Amir Pnueli
Venue:Proc. 9'th IEEE Symp. On Logic In Computer Science
Citations:39 - 2 self