Shin Hiura

Publication Activity (10 Years)

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

Top Topics

Dynamic Constraints

Mazurkiewicz Traces

Top Venues

Publications

Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki
A Temporal Logic with Mean-Payoff Constraints. ICFEM (2012)