Handbook of Modeling Checking

Published by: Springer  

Groups

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

Results (1)

Handbook of Modeling Checking – authorized name for:

Name ISSN/ISBN Publisher
Handbook of Modeling Checking 978-331910575-8 Springer