[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 - Formal verification of embedded systems based on CFSM networks
Balarin, Felice, Hsieh, Harry, Jurecska, Attila, Lavagno, Luciano, Sangiovanni-Vincentelli, AlbertoYear:
1996
Language:
english
DOI:
10.1145/240518.240626
File:
PDF, 134 KB
english, 1996