Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2012

    1. BENEŠ, Nikola, Ivana ČERNÁ a Filip ŠTEFAŇÁK. Factorization for Component-Interaction Automata. In SOFSEM 2012: Theory and Practice of Computer Science. Berlin Heidelberg: Springer Berlin Heidelberg, 2012, s. 554-565. ISBN 978-3-642-27659-0. Dostupné z: https://dx.doi.org/10.1007/978-3-642-27660-6_45.
    2. KLIMOŠ, Miroslav, Kim G. LARSEN, Jeppe THAARUP a Filip ŠTEFAŇÁK. Nash Equilibria in Concurrent Priced Games. In Adrian-Horia Dediu, Carlos Martín-Vide. Language and Automata Theory and Applications, 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings. La Coruna; Spain: Springer Berlin / Heidelberg, 2012, s. 363-376. ISBN 978-3-642-28331-4. Dostupné z: https://dx.doi.org/10.1007/978-3-642-28332-1_31.

    2009

    1. BENEŠ, Nikola, Milan KŘIVÁNEK a Filip ŠTEFAŇÁK. Space Effective Model Checking for Component-Interaction Automata. In Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09). Dagstuhl, Německo: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Německo, 2009, 8 s. ISBN 978-3-939897-15-6.
Zobrazit podrobně
Zobrazeno: 9. 11. 2024 05:35