Partial-Order Reduction and Trail Improvement in Directed Model Checking
International Journal on Software Tools for Technology Transfer - Germany
doi 10.1007/s10009-004-0151-z
Full Text
Open PDFAbstract
Available in full text
Date
August 1, 2004
Authors
Publisher
Springer Science and Business Media LLC