Chikatoshi Yamada, Yasunori Nagata, Zensho Nakao. Inductive Temporal Formula Specifications for System Verification. JACIII, 9(3):321-328, 2005. [doi]
@article{YamadaNN05,
title = {Inductive Temporal Formula Specifications for System Verification},
author = {Chikatoshi Yamada and Yasunori Nagata and Zensho Nakao},
year = {2005},
url = {http://www.fujipress.jp/finder/xslt.php?mode=present&inputfile=JACII000900030012.xml},
researchr = {https://researchr.org/publication/YamadaNN05},
cites = {0},
citedby = {0},
journal = {JACIII},
volume = {9},
number = {3},
pages = {321-328},
}