Login / Signup
Adin Rosenberg
Publication Activity (10 Years)
Years Active: 2010-2010
Publications (10 Years): 0
</>
Publications
</>
Udi Boker
,
Orna Kupferman
,
Adin Rosenberg
Alternation Removal in Büchi Automata.
ICALP (2)
(2010)
Orna Kupferman
,
Adin Rosenberg
The Blowup in Translating LTL to Deterministic Automata.
MoChArt
(2010)