Login / Signup
Raymond R. Devillers
ORCID
Publication Activity (10 Years)
Years Active: 1973-2024
Publications (10 Years): 47
Top Topics
Model Checking
Timed Automata
Transition Systems
Petri Net
Top Venues
Petri Nets
Fundam. Informaticae
CoRR
Acta Informatica
</>
Publications
</>