Login / Signup
Issei Sakashita
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Information Technology
Formal Proofs
Multi Agent
Embedded Systems
Top Venues
CANDAR
</>
Publications
</>
Hisaharu Tanaka
,
Issei Sakashita
,
Shuichi Inokuchi
,
Yoshihiro Mizoguchi
Formal Proofs for Automata and Sticker Systems.
CANDAR
(2013)