The Relative Completeness of a Version of CTL* - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hidetomo Machi, Kohji Tomita, Chiharu Hosono. The Relative Completeness of a Version of CTL*. In Mike D. Atkinson, Frank K. H. A. Dehne, editors, Theory of Computing 2005, Eleventh CATS 2005, Computing: The Australasian Theory Symposium, Newcastle, NSW, Australia, January/February 2005. Volume 41 of CRPIT, pages 81-85, Australian Computer Society, 2005. [doi]

This author has not been identified. Look up 'Hidetomo Machi' in GoogleThis author has not been identified. Look up 'Kohji Tomita' in GoogleThis author has not been identified. Look up 'Chiharu Hosono' in Google

runs on WebDSL