@inproceedings{ShYi2001a,
   author = {Nikolay Shilov and Kwangkeun Yi},
   title = {A Note on Model Checking Reuse},
   booktitle = {2nd Australian Workshop on Computational Logic},
   address = {Gold Cost, Australia},
   month = {January},
   year = {2001},
   format = {ps.gz},
   category = {conference program-logics},
}