Formal Methods in System Design, 0925-9856

Journal

Publications

  1. 2013
  2. Published

    Automatic verification of competitive stochastic systems

    David Parker, 1 Aug 2013, In : Formal Methods in System Design. 43, 1, p. 61-92

    Research output: Contribution to journalArticle

  3. 2010
  4. Published
  5. 2006
  6. Published