Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications
Innovations in Systems and Software Engineering - United Kingdom
doi 10.1007/s11334-011-0148-1
Full Text
Open PDFAbstract
Available in full text
Categories
Date
March 12, 2011
Authors
Publisher
Springer Science and Business Media LLC