UTP and Temporal Logic Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hugh Anderson, Gabriel Ciobanu, Leo Freitas. UTP and Temporal Logic Model Checking. In Andrew Butterfield, editor, Unifying Theories of Programming, Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers. Volume 5713 of Lecture Notes in Computer Science, pages 22-41, Springer, 2008. [doi]

This author has not been identified. Look up 'Hugh Anderson' in GoogleThis author has not been identified. It may be one of the following persons:

Gabriel Ciobanu

Look up 'Gabriel Ciobanu' in GoogleThis author has not been identified. Look up 'Leo Freitas' in Google

runs on WebDSL