Showing 1 - 5 results of 5 for search 'McIver, Annabelle', query time: 0.02s Refine Results
  1. 1
    Abstraction, Refinement and Proof for Probabilistic Systems
    by McIver, Annabelle
    Published 2005
    Get full text
    Electronic Kit Book
  2. 2
    Abstraction, Refinement and Proof for Probabilistic Systems
    by McIver, Annabelle, Morgan, Carroll
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Quantitative Evaluation of Systems 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /
    Published 2018
    Other Authors: “…McIver, Annabelle…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
    Published 2015
    Other Authors: “…McIver, Annabelle…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Formal Methods - The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings /
    Published 2019
    Other Authors: “…McIver, Annabelle…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search