Wang, Chao: Abstraction Refinement for Large Scale Model Checking
119.99 EUR
Teilen: ![]()
![]()
![]()
![]()
![]()
![]()
Gesponsert
SpringerLink DE
Abstraction Refinement for Large Scale Model Checking
SpringerLink DE
13-06-2026 18:03:31
Gesponsert
Galaxus.de
Abstraction Refinement for Large Scale Model Checking, Fachbücher von Chao Wang, Gary D. Hachtel, Fabio Somenzi
Galaxus.de
14-06-2026 06:23:03
