Yuma Hirayanagi

Publication Activity (10 Years)

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

Top Topics

Specification Language

Forward Selection

Computational Complexity

Top Venues

Publications

Noriaki Yoshiura, Yuma Hirayanagi
Implementation of Decision Procedure of Stepwise Satisfiability of Reactive System Specifications. ICCSA (4) (2015)