Login / Signup
Yoshinori Tanabe
ORCID
Publication Activity (10 Years)
Years Active: 2005-2022
Publications (10 Years): 10
Top Topics
Formal Methods
Concurrent Systems
Alternating Time Temporal Logic
Model Checking
Top Venues
CANDAR
ASE
JCKBSE
J. Medical Imaging Health Informatics
</>
Publications
</>