Ryosei Mori

Publication Activity (10 Years)

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

Publications

Ryosei Mori, Naoki Yonezaki
Derivation of the Input Conditional Formula from a Reactive System Specifictaion in Temporal Logic. FTRTFT (1994)