The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
VIS: A system for verification and synthesis
The work
| Authors | Robert K. Brayton; Gary D. Hachtel; Alberto Sangiovanni-Vincentelli; Fabio Somenzi; Adnan Aziz; Szu -Tsung Cheng; Stephen Edwards; Sunil Khatri; Yuji Kukimoto; Abelardo Pardo; Shaz Qadeer; Rajeev K. Ranjan; Shaker Sarwary; Thomas R. Staple; Gitanjali Swamy; Tiziano Villa |
|---|---|
| Editors | |
| Type | incollection |
| Year | 1996 |
| Citekey | brayton1996vis |
Where it appeared
| Published in | Computer Aided Verification |
|---|---|
| Publisher | Springer Berlin Heidelberg |
| Series | Lecture Notes in Computer Science |
| Pages | 428--432 |
Identifiers
| DOI | 10.1007/3-540-61474-5_95 |
|---|---|
| ISSN | 0302-9743 |
| ISBN | 978-3-540-61474-6 |
Access
| Landing page | https://doi.org/10.1007/3-540-61474-5_95 |
|---|
How it got here
| How it got here | agent via crossref |
|---|---|
| Added | 2026-10-23 19:48 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@incollection{brayton1996vis,
title = {VIS: A system for verification and synthesis},
author = {Robert K. Brayton and Gary D. Hachtel and Alberto Sangiovanni-Vincentelli and Fabio Somenzi and Adnan Aziz and Szu -Tsung Cheng and Stephen Edwards and Sunil Khatri and Yuji Kukimoto and Abelardo Pardo and Shaz Qadeer and Rajeev K. Ranjan and Shaker Sarwary and Thomas R. Staple and Gitanjali Swamy and Tiziano Villa},
year = {1996},
booktitle = {Computer Aided Verification},
publisher = {Springer Berlin Heidelberg},
series = {Lecture Notes in Computer Science},
pages = {428--432},
isbn = {978-3-540-61474-6},
issn = {0302-9743},
doi = {10.1007/3-540-61474-5_95},
}
This record lives at https://refs.drheap.org/brayton1996vis/ and will keep doing so.