Showing 1 - 4 results of 4 for search 'Morgan, Carroll', query time: 0.02s Refine Results
  1. 1
    Abstraction, Refinement and Proof for Probabilistic Systems
    by McIver, Annabelle, Morgan, Carroll
    Published 2005
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Abstraction, Refinement and Proof for Probabilistic Systems
    by McIver, Annabelle
    Published 2005
    Other Authors: “…Morgan, Carroll…”
    Get full text
    Electronic Kit Book
  3. 3
    Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings /
    Published 2009
    Other Authors: “…Morgan, Carroll…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Formal Methods, Foundations and Applications 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers /
    Published 2011
    Other Authors: “…Morgan, Carroll…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search