Temporal proof methodologies for timed transitions systems (0)

by Thomas A Henzinger, Zohar Manna, Amir Pnueli
Venue:Information and Computation