@article{ShYi2001b,
   author = {Nikolay Shilov and Kwangkeun Yi},
   title = {Puzzles for Learning Model Checking, Model Checking for Programming Puzzles, Puzzles for Testing Model Checkers},
   journal = {Electronic Notes in Theoretical Computer Science},
   volume = {43},
   year = {2001},
   format = {pdf},
   category = {journal program-logics},
}