Login / Signup
Toshimitsu Ushio
ORCID
Publication Activity (10 Years)
Years Active: 1993-2024
Publications (10 Years): 79
Top Topics
Temporal Logic
Mutual Exclusion
Timed Petri Nets
Discrete Event
Top Venues
CoRR
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
IEEE Control. Syst. Lett.
ICCPS
</>
Publications
</>