Login / Signup
Ryu Yano
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Deterministic Finite Automaton
Automated Verification
Coalition Logic
Model Checking
Top Venues
KES
</>
Publications
</>
Norihiro Kamide
,
Ryu Yano
Logics and translations for hierarchical model checking.
KES
(2017)