Articles matching “Tomioka”

1. Yutaro Tsunekawa , Taichi Tomioka, Kazunori Ueda, Implementation of LMNtal Model Checkers: a Metaprogramming Approach. , pp. 1:1-28, PDF, DOI. Volume 17, no. 1 (November 2018)