Home
DrugRxiv Drug Repurposing Network Medicine
REPO4EU Meet the team Drug Repurposing Research Collection Conference
Blog
Register Dashboard
Search
Home
DrugRxiv Drug Repurposing Network Medicine
REPO4EU Meet the team Drug Repurposing Research Collection Conference
My ScienceOpen

Register Dashboard
Search
10
views
11
references
 Top references
cited by
12
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      3,614
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium,FTRTFT 2000 Pune, India, September 20–22, 2000 Proceedings 

      Decidable Model Checking of Probabilistic Hybrid Automata

      other
      Author(s):
      Publication date (Online):
      Publisher: Springer Berlin Heidelberg

      Read this book at

      Publisher
      Buy book
      Bookmark
          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

          Most cited references11

          • Record: found
          • Abstract: not found
          • Article: not found

          A logic for reasoning about time and reliability

          Hans-Christen Hansson, Bengt-Harald Jonsson (1994)
          Article 0 comments Cited 210 times – based on 0 reviews     Review now
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            What's Decidable about Hybrid Automata?

            Thomas Henzinger, Peter W. Kopke, Anuj Puri … (1998)
            Article 0 comments Cited 95 times – based on 0 reviews     Review now
              Bookmark
              • Record: found
              • Abstract: not found
              • Book Chapter: not found

              Model checking of probabilistic and nondeterministic systems

              Andrea Bianco, Luca Alfaro (1995)
              Article 0 comments Cited 94 times – based on 0 reviews
                Bookmark
                All references

                Author and book information

                Book Chapter
                Publication date (Print): 2000
                Publication date (Online): January 22 2002
                Pages: 31-45
                DOI: 10.1007/3-540-45352-0_5
                SO-VID: c65354a0-f7db-4761-81a3-33651f415e52
                History

                Data availability:

                Comments

                Comment on this book

                Book chapters

                Similar content3,614

                See all similar

                Cited by12

                See all cited by