Search by Bookstore
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- ISBN
- 3540664998 (pbk)
- ISSN
- 0302-9743
- Series Title
- Publication, Distribution, etc.
- Publication Date
- 1999.
- Publication Date (W3CDTF)
- 1999
- Extent
- v.
- Alternative Title
- Theme title: Theoretical aspects of model checking. Also known as 5th SPIN 99. Held as a satellite workshop of the federated logic conference, known as FLoC '99SPIN ; SPIN model checking ; logicTheme title: Practical aspects of model checking. Also known as 6th SPIN 99. Held as a user group meeting within the world congress on formal methods in the development of computing systems, known as FM '99SPIN ; SPIN model checking ; formal methods ; computing systems