Comparing linear and branching time temporal logics
View on Open Library ↗

Comparing linear and branching time temporal logics

by

6 min read
Rate this book:
21 pages 1987

Buy This Book

Amazon → Open Library Borrow Free to borrow →

As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.

Know this book?

Help other readers discover this title by sharing your thoughts. Be the first to write a review.

Share Your Thoughts

Sign in to write a review.

More by Colin Stirling

Local model checking in the Mo
Local model checking in the Modal Mu-Calculus
1989
Modal and Temporal Properties of Processes
Modal and Temporal Properties of Processes
2001
Modal and Temporal Properties of Processes (Texts in Computer Science)
Modal and Temporal Properties of Processes (Texts in Computer Science)
2001

View all books by Colin Stirling →