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

Improved approximate reachability using auxiliary state var..:

, In: Proceedings of the 36th annual ACM/IEEE Design Automation Conference,
Govindaraju, Shankar G. ; Dill, David L. ; Bergmann, Jules P. - p. 312-316 , 1999
Link: https://dl.acm.org/doi/10.1145/309847.309940