|
[STTK09]
Toshifusa Sekizawa, Tatsuhiro Tsuchiya, Koichi Takahashi and Tohru Kikuno.
Probabilistic Model Checking of the One-Dimensional Ising Model.
IEICE Transactions on Information and Systems, E92.D(5), pages 1003-1011.
2009.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|