Login / Signup
Lukas Panneke
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Lower Level
Programming Language
Database
Finite Automata
Top Venues
CoRR
</>
Publications
</>
Nick Würdemann
,
Thomas Chatain
,
Stefan Haar
,
Lukas Panneke
Taking Complete Finite Prefixes To High Level, Symbolically.
CoRR
(2023)