![](/img/cover-not-exists.png)
[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 asynchronous circuits using time Petri net unfolding
Semenov, Alexei, Yakovlev, AlexandreYear:
1996
Language:
english
DOI:
10.1145/240518.240530
File:
PDF, 302 KB
english, 1996