I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Formal property verification by abstraction refinement with..:

, In: Proceedings of the 38th annual Design Automation Conference,
Wang, Dong ; Jiang, Pei-Hsin ; Kukula, James... - p. 35-40 , 2001
Link: https://dl.acm.org/doi/10.1145/378239.378260