Shinji Kikuchi, Satoshi Tsuchiya, Kunihiko Hiraishi. Synthesis of Configuration Change Procedure Using Model Finder. IEICE Transactions, 96-D(8):1696-1706, 2013. [doi]
@article{KikuchiTH13,
title = {Synthesis of Configuration Change Procedure Using Model Finder},
author = {Shinji Kikuchi and Satoshi Tsuchiya and Kunihiko Hiraishi},
year = {2013},
url = {http://search.ieice.org/bin/summary.php?id=e96-d_8_1696},
researchr = {https://researchr.org/publication/KikuchiTH13},
cites = {0},
citedby = {0},
journal = {IEICE Transactions},
volume = {96-D},
number = {8},
pages = {1696-1706},
}