Export byl úspěšný — 
Načítá se...

Abstraction refinement for large scale model checking

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Wang, Chao., Hachtel, Gary D., Somenzi, Fabio.
Médium: Livro
Jazyk:Inglês
Vydáno: Springer, 2006
Edice:Integrated Circuits and Systems
Témata:
On-line přístup:https://minerva.ufrj.br/F/?func=direct&doc_number=000893530&local_base=UFR01
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!