Dams, Dennis
[Sonstige Person, Familie und Körperschaft];
Dams, Dennis René
[HerausgeberIn]
;
International SPIN Workshops 5 1999 - 6, 1999,
International SPIN Workshop 5 1999 Trient,
International SPIN Workshop 6 1999 Toulouse
Theoretical and practical aspects of SPIN model checking
Anmerkungen:
"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)
Literaturangaben