Abstraction Refinement for Large Scale Model Checking
Κύριος συγγραφέας: | |
---|---|
Άλλοι συγγραφείς: | , |
Μορφή: | Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Boston, MA
Springer Science+Business Media, LLC
2006
|
Σειρά: | Series on Integrated Circuits and Systems
|
Θέματα: | |
Διαθέσιμο Online: | http://dx.doi.org/10.1007/0-387-34600-7 |
Φυσική περιγραφή: | v.: digital |
---|---|
ISBN: | 9780387346007 |
ISSN: | 1558-9412 |