Inproceedings,
VIS: A System for Verification and Synthesis.
R. Brayton, G. Hachtel, A. Sangiovanni-Vincentelli, F. Somenzi, A. Aziz, S. Cheng, S. Edwards, S. Khatri, Y. Kukimoto, A. Pardo, S. Qadeer, R. Ranjan, S. Sarwary, T. Shiple, G. Swamy, and T. Villa.CAV, volume 1102 of Lecture Notes in Computer Science, page 428-432. Springer, (1996)
Meta data
- BibTeX key
- conf/cav/BraytonHSSACEKKPQRSSSV96
- entry type
- inproceedings
- booktitle
- CAV
- year
- 1996
- pages
- 428-432
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 1102
- crossref
- conf/cav/1996
- ee
- https://doi.org/10.1007/3-540-61474-5_95
- isbn
- 3-540-61474-5
- url
- http://dblp.uni-trier.de/db/conf/cav/cav96.html#BraytonHSSACEKKPQRSSSV96
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/cav/BraytonHSSACEKKPQRSSSV96
%A Brayton, Robert K.
%A Hachtel, Gary D.
%A Sangiovanni-Vincentelli, Alberto L.
%A Somenzi, Fabio
%A Aziz, Adnan
%A Cheng, Szu-Tsung
%A Edwards, Stephen A.
%A Khatri, Sunil P.
%A Kukimoto, Yuji
%A Pardo, Abelardo
%A Qadeer, Shaz
%A Ranjan, Rajeev K.
%A Sarwary, Shaker
%A Shiple, Thomas R.
%A Swamy, Gitanjali
%A Villa, Tiziano
%B CAV
%D 1996
%E Alur, Rajeev
%E Henzinger, Thomas A.
%I Springer
%K dblp
%P 428-432
%T VIS: A System for Verification and Synthesis.
%U http://dblp.uni-trier.de/db/conf/cav/cav96.html#BraytonHSSACEKKPQRSSSV96
%V 1102
%@ 3-540-61474-5
@inproceedings{conf/cav/BraytonHSSACEKKPQRSSSV96,
added-at = {2019-05-27T00:00:00.000+0200},
author = {Brayton, Robert K. and Hachtel, Gary D. and Sangiovanni-Vincentelli, Alberto L. and Somenzi, Fabio and Aziz, Adnan and Cheng, Szu-Tsung and Edwards, Stephen A. and Khatri, Sunil P. and Kukimoto, Yuji and Pardo, Abelardo and Qadeer, Shaz and Ranjan, Rajeev K. and Sarwary, Shaker and Shiple, Thomas R. and Swamy, Gitanjali and Villa, Tiziano},
biburl = {https://www.bibsonomy.org/bibtex/2d794f1a310f8cc328d0165d706fb5edb/dblp},
booktitle = {CAV},
crossref = {conf/cav/1996},
editor = {Alur, Rajeev and Henzinger, Thomas A.},
ee = {https://doi.org/10.1007/3-540-61474-5_95},
interhash = {95171fc94dd05155f0913ed26c8bea8a},
intrahash = {d794f1a310f8cc328d0165d706fb5edb},
isbn = {3-540-61474-5},
keywords = {dblp},
pages = {428-432},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-28T11:41:36.000+0200},
title = {VIS: A System for Verification and Synthesis.},
url = {http://dblp.uni-trier.de/db/conf/cav/cav96.html#BraytonHSSACEKKPQRSSSV96},
volume = 1102,
year = 1996
}