Gå direkte til innholdet
25 Years of Model Checking
Spar

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.
Undertittel
History, Achievements, Perspectives
Opplag
2008 ed.
ISBN
9783540698494
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
17.6.2008
Antall sider
234