On the Relation of Programs and Computations to Models of Temporal Logic - researchr publication

researchr

You are not signed in
Sign in
Sign up

Pierre Wolper. On the Relation of Programs and Computations to Models of Temporal Logic. In Behnam Banieqbal, Howard Barringer, Amir Pnueli, editors, Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings. Volume 398 of Lecture Notes in Computer Science, pages 75-123, Springer, 1987.

Abstract is missing.

runs on WebDSL