Axiomatizing Extended Temporal Logic Fragments Via Instantiation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wanwei Liu, Ji Wang, Wei Dong, Huowang Chen. Axiomatizing Extended Temporal Logic Fragments Via Instantiation. In Cliff B. Jones, Zhiming Liu, Jim Woodcock, editors, Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings. Volume 4711 of Lecture Notes in Computer Science, pages 322-336, Springer, 2007. [doi]

This author has not been identified. Look up 'Wanwei Liu' in GoogleThis author has not been identified. Look up 'Ji Wang' in GoogleThis author has not been identified. Look up 'Wei Dong' in GoogleThis author has not been identified. Look up 'Huowang Chen' in Google

runs on WebDSL