An Introduction to Executable Modal and Temporal Logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Fisher, Richard Owens. An Introduction to Executable Modal and Temporal Logics. In Michael Fisher, Richard Owens, editors, Executable Modal and Temporal Logics, IJCAI 93, Workshop, Chambéry, France, August 28, 1993, Proceedings. Volume 897 of Lecture Notes in Computer Science, pages 1-20, Springer, 1993.

This author has not been identified. Look up 'Michael Fisher' in GoogleThis author has not been identified. Look up 'Richard Owens' in Google

runs on WebDSL