Login / Signup

Misato Yokotani

Publication Activity (10 Years)

Years Active: 2014-2014
Publications (10 Years): 0

Top Topics

Timed Petri Nets
Hardware Designs
Partially Observed
Bounded Model Checking

Top Venues

WODES
Publications