Kentaro Waki

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Alternating Time Temporal Logic

Reactive Systems

Top Venues

Publications

Duong Dinh Tran, Kentaro Waki, Kazuhiro Ogata
Formal specification and model checking of a recoverable wait-free version of MCS. SEKE (2021)