Publikace
Počet publikací: 82
2008
-
Automata formalization for graphs of bounded rank-width
Rok: 2008, druh: Konferenční abstrakty
-
Automata formalization for graphs of bounded rank-width.
Rok: 2008, druh: Další prezentace na konferencích