Handbook of Model Checking

Published by: Springer  

People

Groups

  1. 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 Model Checking – authorized name for:

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