Search for persons
X
?
Proceedings of the 36th annual ACM/IEEE Design Automation Conference ,
9
Improved approximate reachability using auxiliary state var..:
, In:
?
Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design ,
10