Model Checking Linear Duration Invariants of Networks of Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Miaomiao Zhang, Zhiming Liu, Naijun Zhan. Model Checking Linear Duration Invariants of Networks of Automata. In Farhad Arbab, Marjan Sirjani, editors, Fundamentals of Software Engineering, Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers. Volume 5961 of Lecture Notes in Computer Science, pages 244-259, Springer, 2009. [doi]

This author has not been identified. Look up 'Miaomiao Zhang' in GoogleThis author has not been identified. Look up 'Zhiming Liu' in GoogleThis author has not been identified. Look up 'Naijun Zhan' in Google

runs on WebDSL