Temporal Proof Methodologies for Timed Transition Systems (1994)

by Thomas A. Henzinger , Zohar Manna , Amir Pnueli
Venue:INFORMATION AND COMPUTATION
Citations:44 - 8 self