Siirry suoraan sisältöön
25 Years of Model Checking
Tallenna

25 Years of Model Checking

This Festschrift volume, published in celebration of the 25th Anniversary of Model Checking, features papers based on talks at the symposium "25 Years of Model Checking", 25MC, which was part of the 18th International Conference on Computer Aided Verification.
Alaotsikko
History, Achievements, Perspectives
Painos
2008 ed.
ISBN
9783540698494
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
17.6.2008
Sivumäärä
234