![](/img/cover-not-exists.png)
Are BDDs still alive within sequential verification?
Gianpiero Cabodi, Sergio Nocco, Stefano QuerVolume:
7
Language:
english
Pages:
14
DOI:
10.1007/s10009-004-0172-7
Date:
April, 2005
File:
PDF, 1.11 MB
english, 2005