Ładuje się......

Abstraction refinement for large scale model checking

Zapisane w:
Opis bibliograficzny
Główni autorzy: Wang, Chao., Hachtel, Gary D., Somenzi, Fabio.
Format: Livro
Język:Inglês
Wydane: Springer, 2006
Seria:Integrated Circuits and Systems
Hasła przedmiotowe:
Dostęp online:https://minerva.ufrj.br/F/?func=direct&doc_number=000893530&local_base=UFR01
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!