25 Years in Model Checking

Published by: Springer  

Groups

  1. Chatterjee Group (1)
  2. Henzinger Group (1)
Search Within
Refine Results
Years
  1. 2008 (1)
Open access
  1. no (1)
Peer reviewed
  1. no (1)
Invited
  1. no (1)

Results (1)

25 Years in Model Checking – authorized name for:

Name ISSN/ISBN Publisher
25 Years in Model Checking 978-3-540-69849-4 Springer