Comparing Linear and Branching Time Temporal Logics - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Colin Stirling. Comparing Linear and Branching Time Temporal Logics. 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 1-20, Springer, 1987.

This author has not been identified. Look up 'Colin Stirling' in Google

runs on WebDSL