Výpis publikací

OBDRŽÁLEK, Jan. Clique-Width and Parity Games. In Computer Science Logic 2007, proceedings. Berlin: Springer-Verlag. s. 54-68. ISBN 978-3-540-74914-1. 2007.

OBDRŽÁLEK, Jan. Fast Mu-calculus Model Checking when Tree-width is Bounded. In CAV 2003. Berlin Heidelberg: Springer-Verlag. s. 80-92. ISBN 3-540-40524-0. 2003.