Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2011/05/01
Vol. E94-D
No. 5
pp. 967-975
Type of Manuscript: Special Section PAPER (Special Section on Formal Approach)
Category: System Analysis
Keyword:
probabilistic symmetry reduction,
ring buffer,
model checking,
the Ising model,
AIS,
|
