Verification of Linear Duration Invariants by Model Checking CTL Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Miaomiao Zhang, Dang Van Hung, Zhiming Liu. Verification of Linear Duration Invariants by Model Checking CTL Properties. In John S. Fitzgerald, Anne Elisabeth Haxthausen, Hüsnü Yenigün, editors, Theoretical Aspects of Computing - ICTAC 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings. Volume 5160 of Lecture Notes in Computer Science, pages 395-409, Springer, 2008. [doi]

This author has not been identified. Look up 'Miaomiao Zhang' in GoogleThis author has not been identified. Look up 'Dang Van Hung' in GoogleThis author has not been identified. Look up 'Zhiming Liu' in Google

runs on WebDSL