Login / Signup
Thomas Pedersen
Publication Activity (10 Years)
Years Active: 2003-2022
Publications (10 Years): 6
Top Topics
Home Automation
Temporal Logic
Petri Net
Formal Verification
Top Venues
IECON
J. Reliab. Intell. Environ.
Fundam. Informaticae
CoRR
</>
Publications
</>