Thomas Troels Hildebrandt

Thomas Troels Hildebrandt

Professor

Member of:


    1. 2011
    2. Published

      A Logic for Choreographies

      Carbone, M., Grohmann, D., Hildebrandt, Thomas Troels & López, H. A., 1 Oct 2011, In: Electronic Proceedings in Theoretical Computer Science.

      Research output: Contribution to journalJournal articlepeer-review

    ID: 191341554