Yoshinori Tanabe, Toshifusa Sekizawa, Yoshifumi Yuasa, Koichi Takahashi. Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus. IEICE Transactions, 92-D(5):995-1002, 2009. [doi]
@article{TanabeSYT09,
title = {Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus},
author = {Yoshinori Tanabe and Toshifusa Sekizawa and Yoshifumi Yuasa and Koichi Takahashi},
year = {2009},
url = {http://search.ieice.org/bin/summary.php?id=e92-d_5_995&category=D&year=2009&lang=E&abst=},
researchr = {https://researchr.org/publication/TanabeSYT09},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {92-D},
number = {5},
pages = {995-1002},
}