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

Fast state verification:

, In: Proceedings of the 35th annual Design Automation Conference,
Sun, Dechang ; Vinnakota, Bapiraju ; Jiang, Wanli - p. 619-624 , 1998
Link: https://dl.acm.org/doi/10.1145/277044.277205