[ACM Press the 33rd annual conference - Las Vegas, Nevada, United States (1996.06.03-1996.06.07)] Proceedings of the 33rd annual conference on Design automation conference - DAC '96 - Verification of electronic systems
Sangiovanni-Vincentelli, Alberto L., McGeer, Patrick C., Saldanha, AlexanderYear:
1996
Language:
english
DOI:
10.1145/240518.240539
File:
PDF, 113 KB
english, 1996