Login / Signup
Jos C. M. Baeten
Publication Activity (10 Years)
Years Active: 1987-2024
Publications (10 Years): 10
Top Topics
Controller Synthesis
Lexical Semantics
Regular Expressions
Tree Automata
Top Venues
CoRR
CALCO
EXPRESS/SOS
Math. Struct. Comput. Sci.
</>
Publications
</>