You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
| Chapter title |
VIS
|
|---|---|
| Chapter number | 17 |
| Book title |
Formal Methods in Computer-Aided Design
|
| Published by |
Springer, Berlin, Heidelberg, November 1996
|
| DOI | 10.1007/bfb0031812 |
| Book ISBNs |
978-3-54-061937-6, 978-3-54-049567-3
|
| Authors |
Robert K. Brayton, Gary D. Hachtel, Alberto Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa, Brayton, Robert K., Hachtel, Gary D., Sangiovanni-Vincentelli, Alberto, Somenzi, Fabio, Aziz, Adnan, Cheng, Szu-Tsung, Edwards, Stephen A., Khatri, Sunil P., Kukimoto, Yuji, Pardo, Abelardo, Qadeer, Shaz, Ranjan, Rajeev K., Sarwary, Shaker, Shiple, Thomas R., Swamy, Gitanjali, Villa, Tiziano |