Symbolic model checking for probabilistic timed automata

Research output: Contribution to journalArticle

Research Projects

  1. Modelling and Analysis of Mobile AD Hoc Network Protocols

    Marta Kwiatkowska

    ENGINEERING & PHYSICAL SCIENCE RESEARCH COUNCIL

    1/11/0331/10/06

    Project: Research Councils