An Introduction to Executable Modal and Temporal Logics - researchr publication

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.

Abstract is missing.

runs on WebDSL