The Anchored Version of the Temporal Framework (1989)

Cached

Download Links

by Zohar Manna , Amir Pnueli
Venue:Linear Time, Branching Time, and Partial Order in Logics and Models for Concurrency, Lecture Notes in Computer Science 354
Citations:50 - 5 self