Temporal Specification and Verification of Reactive Modules (1992)

Cached

Download Links

by Zohar Manna , Amir Pnueli
Citations:6 - 0 self