2011
2008
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
- HSIS: A BDD-Based Environment for Formal VerificationAdnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin Hojati, Timothy Kam, Sriram C. Krishnan, Rajeev K. Ranjan, Thomas R. Shiple, Vigyan Singhal, Serdar Tasiran, Huey-Yih Wang, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli. dac 1994: 454-459 [doi]
1993