@Article{STTK09,
author={Toshifusa Sekizawa and Tatsuhiro Tsuchiya and Koichi Takahashi and Tohru Kikuno},
title={Probabilistic Model Checking of the One-Dimensional {Ising} Model},
journal={IEICE Transactions on Information and Systems},
year={2009},

volume={E92.D},
number={5},
pages={1003-1011},
publisher={},
month={},
note={},
key={}
}