Search – University of Copenhagen

Tobias Heindel

Tobias Heindel


  • Department of Computer Science

    Universitetsparken 5

    2100 København Ø

    Phone: +45 35 33 48 86

Publication year:
  1. 2017
  2. Published

    Computing continuous-time Markov chains as transformers of unbounded observables. / Danos, Vincent; Heindel, Tobias; Garnier, Ilias; Simonsen, Jakob Grue.

    Foundations of Software Science and Computation Structures: 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. ed. / Javier Esparza; Andrzej S. Murawski. Springer, 2017. p. 338-354.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedings

ID: 128183997