A. Sangiovanni-Vincentelli
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
SPICE 3 Version 3F3 User’s Manual.
T. Quarles and others (1994)
Implicit state enumeration of finite state machines using BDD's
H. J. Touati and others (1990) · IEEE Comput. Soc. Press
SPICE Version 2G User's Guide
A. Vladimirescu and others (1981)