TUTCRIS - Tampereen teknillinen yliopisto

TUTCRIS

Tutkimusryhmä: MAT Computer Science and Applied Logics

Tutkimusyksikkö: Tutkimusryhmä

Uusimmat julkaisut

  1. Julkaistu

    The Congruences Below Fair Testing with Initial Stability

    Valmari, A., 6 helmikuuta 2017, 2016 16th International Conference on Application of Concurrency to System Design. IEEE, s. 25-34 10 Sivumäärä

    Tutkimustuotosvertaisarvioitu

  2. Julkaistu

    Abstractions for transition systems with applications to stubborn sets

    Hansen, H., 1 tammikuuta 2017, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Gibson-Robinson, T., Hopcroft, P. & Lazić, R. (toim.). Springer International Publishing, s. 104-123 20 Sivumäärä (Lecture Notes in Computer Science; painos 10160).

    Tutkimustuotos

  3. Julkaistu

    More stubborn set methods for process algebras

    Valmari, A., 1 tammikuuta 2017, Concurrency, Security, and Puzzles: Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday. Gibson-Robinson, T., Hopcroft, P. & Lazić, R. (toim.). Springer International Publishing, s. 246-271 26 Sivumäärä (Lecture Notes in Computer Science; painos 10160).

    Tutkimustuotos

Julkaisuja vuodessa

Ei tietoja saatavilla

ID: 22945