Acta Informatica, ‎0001-5903

Journal

Publications

  1. 2016
  2. E-pub ahead of print

    Compositional schedulability analysis of real-time actor-based systems

    Tom Chothia & , 25 Jan 2016, (E-pub ahead of print) In: Acta Informatica. p. 1-36 36 p.

    Research output: Contribution to journalArticlepeer-review

  3. 2015
  4. Published

    Synthesizing efficient systems in probabilistic environments

    David Parker & , May 2015, In: Acta Informatica. 237

    Research output: Contribution to journalArticlepeer-review