Time For Verification: Essays in Memory of Amir Pnueli

Published by: Springer  

Groups

  1. Alumni (1)
  2. Henzinger Group (1)
Search Within
Refine Results
Years
  1. 2010 (1)
Affiliation
  1. IST Austria (1)
Open access
  1. no (1)
Peer reviewed
  1. no (1)
Invited
  1. no (1)

Results (1)

Time For Verification: Essays in Memory of Amir Pnueli – authorized name for:

Name ISSN/ISBN Publisher
Time For Verification: Essays in Memory of Amir Pnueli 978-3642137532 Springer
Time For Verification: Essays in Memory of Amir Pnueli 978-3642137532 Springer
Time for Verification: Essays in Memory of Amir Pnueli 978-3642137532 Springer