![](/img/cover-not-exists.png)
[IEEE Proceedings Ninth Great Lakes Symposium on VLSI - Ypsilanti, MI, USA (1999.03.6-1999.03.6)] Proceedings Ninth Great Lakes Symposium on VLSI - Formal checking of properties in complex systems using abstractions
Moundanos, D., Abraham, J.A.Year:
1999
Language:
english
DOI:
10.1109/glsv.1999.757433
File:
PDF, 41 KB
english, 1999