Edinburgh Research Explorer

Research outputs

  1. Probabilistic Programming Process Algebra

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Goals and resource constraints in CARMA

    Research output: Contribution to journalArticle

View all (7) »

ID: 3592472