Partial Model Checking via Abstract Interpretation
Information Processing Letters - Netherlands
doi 10.1016/j.ipl.2009.10.014
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 2010
Authors
Publisher
Elsevier BV
Available in full text
January 1, 2010
Elsevier BV