VIS: A system for verification and synthesis
Conference Paper
-
- Overview
-
- Identity
-
- Additional Document Info
-
- Other
-
- View All
-
Overview
published proceedings
-
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
author list (cited authors)
-
Brayton, R. K., Hachtel, G. D., Sangiovanni-Vincentelli, A., Somenzi, F., Aziz, A., Cheng, S., ... Villa, T.
citation count
complete list of authors
-
Brayton, Robert K||Hachtel, Gary D||Sangiovanni-Vincentelli, Alberto||Somenzi, Fabio||Aziz, Adnan||Cheng, Szu-Tsung||Edwards, Stephen||Khatri, Sunil||Kukimoto, Yuji||Pardo, Abelardo||Qadeer, Shaz||Ranjan, Rajeev K||Sarwary, Shaker||Staple, Thomas R||Swamy, Gitanjali||Villa, Tiziano
publication date
publisher
published in
Identity
Digital Object Identifier (DOI)
International Standard Book Number (ISBN) 10
International Standard Book Number (ISBN) 13
Additional Document Info
start page
end page
volume
Other
URL
-
http://dx.doi.org/10.1007/3-540-61474-5_95