@article{62a05aa7dac242d0a504f7d99d2be3aa,
title = "Comments on {"}The Model Checker SPIN{"}",
keywords = "ACSR, LTL, Model checking, Process scheduling, SPIN",
author = "Bang, {Ki Seok} and Choi, {Jin Young} and Chuck Yoo",
note = "Funding Information: This research was supported in part by KOREA Science and Engineering Foundation under grant 97-0100-09-01-3.",
year = "2001",
month = jun,
doi = "10.1109/32.926177",
language = "English",
volume = "27",
pages = "573--576",
journal = "IEEE Transactions on Software Engineering",
issn = "0098-5589",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
number = "6",
}