Login / Signup
Michel A. Reniers
ORCID
Publication Activity (10 Years)
Years Active: 1994-2024
Publications (10 Years): 54
Top Topics
Timed Automata
Modal Logic
Product Line
Supervisory Control
Top Venues
CoRR
CASE
Discret. Event Dyn. Syst.
FDL
</>
Publications
</>