Theoretical and practical aspects of SPIN model checking : 5th and 6th international SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 proceedings / Dennis Dams ... [et al.], (eds.).
(Lecture notes in computer science ; 1680)
|出版者||Berlin : Springer|
|大きさ||x, 276 p. : ill. ; 24 cm.|
|一般注記||"The 5th International SPIN Workshop on Theoretical Aspects of Model Checking (5thSPIN'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 (6thSPIN'99) was held as a user group meeting with FM'99 on September 21 and 24, 1999." - preface, p.(v).
Includes bibliographical references and index.
International SPIN Workshop on Theoretical Aspects of Model Checking(1999)
Federated Logic Conference((1999)
International SPIN Workshop on Practical Aspects of Model Checking(1999)
World Congress on Formal Methods in the Development of Computing Systems((1999)
|件 名||Automatic theorem proving--Congresses.