Login / Signup
Masaya Shimakawa
Publication Activity (10 Years)
Years Active: 2009-2023
Publications (10 Years): 10
Top Topics
Satisfiability Problem
Reactive Systems
Qualitative Analysis
Temporal Logic
Top Venues
ICSCA
IEICE Trans. Inf. Syst.
FormaliSE@ICSE
BIOSTEC (Selected Papers)
</>
Publications
</>