For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
Inviting an author to review:
Crosstalk Between the Gut Microbiota and Epithelial Cells Under Physiological and Infectious Conditions
Find an author and click ‘Invite to review selected article’ near their name.
Search for authorsSearch for similar articles
12
views
0
references
 Top references
cited by
43
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      3,120
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Conference Proceedings: not found

      Model-checking for real-time systems

      proceedings-article
      Author(s): , ,
      Conference name: Fifth Annual IEEE Symposium on Logic in Computer Science
      Conference date: 4-7 June 1990

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Author and article information

          Conference
          Pages: 414-425
          Article
          DOI: 10.1109/LICS.1990.113766
          SO-VID: 760e54f4-4766-4824-a685-68c57687e866
          Conference name: Fifth Annual IEEE Symposium on Logic in Computer Science
          Conference location: Philadelphia, PA, USA
          Conference date: 4-7 June 1990
          History

          Data availability:

          Comments

          Comment on this article