Yutaro Tsunekawa, Taichi Tomioka, Kazunori Ueda. Implementation of LMNtal Model Checkers: a Metaprogramming Approach. Journal of Object Technology, 17(1), 2018. [doi]
@article{TsunekawaTU18,
title = {Implementation of LMNtal Model Checkers: a Metaprogramming Approach},
author = {Yutaro Tsunekawa and Taichi Tomioka and Kazunori Ueda},
year = {2018},
doi = {10.5381/jot.2018.17.1.a1},
url = {https://doi.org/10.5381/jot.2018.17.1.a1},
researchr = {https://researchr.org/publication/TsunekawaTU18},
cites = {0},
citedby = {0},
journal = {Journal of Object Technology},
volume = {17},
number = {1},
}