![](/img/cover-not-exists.png)
Can American Checkers be Solved by Means of Symbolic Model Checking?
Michael Baldamus, Klaus Schneider, Michael Wenz, Roberto ZillerVolume:
43
Year:
2001
Language:
english
Pages:
19
DOI:
10.1016/s1571-0661(04)80892-2
File:
PDF, 213 KB
english, 2001