Checking Extended CTL Properties Using Guarded Quotient Structures
Formal Methods in System Design - Netherlands
doi 10.1007/s10703-007-0037-2
Full Text
Open PDFAbstract
Available in full text
Date
June 29, 2007
Authors
Publisher
Springer Science and Business Media LLC