Checking Extended CTL properties Using Guarded Quotient Structures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

A. Prasad Sistla, Xiaodong Wang, Min Zhou. Checking Extended CTL properties Using Guarded Quotient Structures. In 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China. pages 87-94, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'A. Prasad Sistla' in GoogleThis author has not been identified. Look up 'Xiaodong Wang' in GoogleThis author has not been identified. Look up 'Min Zhou' in Google

runs on WebDSL