著者・編者Dennis Dams ... [et al.], (eds.)
一般注記Includes bibliographical references and index
"The 5th International SPIN Workshop on Theoretical Aspects of Model Checking (5th SPIN'99) was held on July 5, 1999 as a satellite workshop of FLoC'99, while the 6th International SPIN Workshop on Practical Aspects of Model Checking (6th SPIN'99) was held as a user group meeting within FM'99 on September 21 and 24, 1999" - Preface, p. [v]
関連情報Lecture notes in computer science
掲載誌Lecture notes in computer science
連携機関・データベース国立情報学研究所 : CiNii Research
NACSIS書誌ID(NCID)https://ci.nii.ac.jp/ncid/BA43719764 : BA43719764