@inproceedings{EoShYi2001,
   author = {어현준 and Nikolay V. Shilov and 이광근},
   title = {모델체커를 검증하기 위한 모델체커},
   booktitle = {정보과학회 가을 학술회의},
   pages = {337--339},
   month = {October},
   year = {2001},
   volume = {28},
   number = {2},
   format = {ps},
   category = {domestic-conference},
}