Comments on "The Model Checker SPIN"

Ki Seok Bang, Jin Young Choi, Chuck Yoo

Research output: Contribution to journalComment/debatepeer-review

3 Citations (Scopus)

Fingerprint Dive into the research topics of 'Comments on "The Model Checker SPIN"'. Together they form a unique fingerprint.