Makoto Ichii

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 2

Top Topics

Temporal Properties

Visualization Tool

Process Algebra

Top Venues

IEICE Trans. Inf. Syst.

Publications