Proving Precedence Properties: The Temporal Way.

Zohar Manna, Amir Pnueli

Browse the full ICALP paper archive.