Gå direkte til innholdet
Abstraction Refinement for Large Scale Model Checking
Spar

Abstraction Refinement for Large Scale Model Checking

Abstraction Refinement for Large Scale Model Checking summarizes recent research on abstraction techniques for model checking large digital system.
Opplag
2006 ed.
ISBN
9780387341552
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
20.7.2006
Antall sider
179