Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Author is Stavros Tripakis  [Clear All Filters]
Book
Modeling for Verification, Seshia, Sanjit A., Sharygina Natasha, and Tripakis Stavros , Handbook of Model Checking, (2018)