Masaya Shimakawa

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 10

Top Topics

Satisfiability Problem

Reactive Systems

Qualitative Analysis

Top Venues

IEICE Trans. Inf. Syst.

BIOSTEC (Selected Papers)

Publications