Proving Parameterized Systems Safe by Generalizing Clausal Proofs of Small Instances Conference Proceeding
Overview
publication date
- July 17, 2016
has restriction
- bronze
Date in CU Experts
- December 13, 2016 1:29 AM
Full Author List
- Dooley M; Somenzi F
Full Editor List
- Chaudhuri S; Farzan A
author count
- 2
citation count
- 3
published in
presented at event
Other Profiles
International Standard Serial Number (ISSN)
- 0302-9743
Digital Object Identifier (DOI)
International Standard Book Number (ISBN) 13
- 978-3-319-41527-7
Additional Document Info
start page
- 292
end page
- 309
volume
- 9779