Login / Signup
Mikulás Klokocka
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Information Systems
Cellular Automata
Lattice Gas
Top Venues
LPAR
</>
Publications
</>
Frantisek Blahoudek
,
Alexandre Duret-Lutz
,
Mikulás Klokocka
,
Mojmír Kretínský
,
Jan Strejcek
Seminator: A Tool for Semi-Determinization of Omega-Automata.
LPAR
(2017)