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. doi: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. doi:10.1007/978-3-642-28332-1_31.
  3. 2009

  4. 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: 30. 1. 2023 09:50