For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
176
views
0
references
 Top references
cited by
163
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      562
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Book: not found

      The Temporal Logic of Reactive and Concurrent Systems

      other
      Author(s): ,
      Publication date (Print):
      Publisher: Springer New York

      Read this book at

      Publisher
      Buy book
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Author and book information

          Book
          ISBN (Print): 978-1-4612-6950-2
          ISBN (Electronic): 978-1-4612-0931-7
          Publication date (Print): 1992
          DOI: 10.1007/978-1-4612-0931-7
          SO-VID: 5dc3c367-d1c4-486b-b27d-e903c8508c36
          License:

          http://www.springer.com/tdm

          History

          Data availability:

          Comments

          Comment on this book

          Book chapters

          Similar content562

          See all similar

          Cited by160

          See all cited by