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)
The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact