Efficient Refinement Strategy Exploiting Component Properties in a CEGAR Process
Lecture Notes in Electrical Engineering - Germany
doi 10.1007/978-3-319-01418-0_2
Full Text
Open PDFAbstract
Available in full text
Date
August 14, 2013
Authors
Publisher
Springer International Publishing