Sign in
Jan Holecek
Publication Activity (10 Years)
Years Active: 2004-2008
Publications (10 Years): 0
</>
Publications
</>
Tomás Brázdil
,
Václav Brozek
,
Jan Holecek
,
Antonín Kucera
Discounted Properties of Probabilistic Pushdown Automata.
LPAR
(2008)
Jan Holecek
,
Petr Sojka
Animations in pdfTEX-Generated PDF.
TEX, XML, and Digital Typography
(2004)