Login / Signup
Kazuya Masuda
Publication Activity (10 Years)
Years Active: 2010-2010
Publications (10 Years): 0
</>
Publications
</>
Kiyoharu Hamaguchi
,
Kazuya Masuda
,
Toshinobu Kashiwabara
Approximate Model Checking Using a Subset of First-order Logic.
IPSJ Trans. Syst. LSI Des. Methodol.
3 (2010)