Výpis publikací

2006

1. On Alternative Construction of LTL Tableau

   ŠIMŠA, Jiří. On Alternative Construction of LTL Tableau. In 2nd Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2006). Mikulov, Czech Republic: FI MU Report Series, 2006, s. 222-229.

   Podrobněji: https://is.muni.cz/publication/704336/cs