Login / Signup

Temporal Verification of Reactive Systems: Response.

Zohar MannaAmir Pnueli
Published in: Essays in Memory of Amir Pnueli (2010)
Keyphrases