Inproceedings,
A Fully Implicit Algorithm for Exact State Minimization.
T. Kam, T. Villa, R. Brayton, and A. Sangiovanni-Vincentelli.DAC, page 684-690. ACM Press, (1994)
Meta data
- BibTeX key
- conf/dac/KamVBS94
- entry type
- inproceedings
- booktitle
- DAC
- year
- 1994
- pages
- 684-690
- publisher
- ACM Press
- crossref
- conf/dac/1994
- ee
- http://doi.acm.org/10.1145/196244.196615
- isbn
- 0-7803-1836-6
- url
- http://dblp.uni-trier.de/db/conf/dac/dac94.html#KamVBS94
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/dac/KamVBS94
%A Kam, Timothy
%A Villa, Tiziano
%A Brayton, Robert K.
%A Sangiovanni-Vincentelli, Alberto L.
%B DAC
%D 1994
%E Lorenzetti, Michael J.
%I ACM Press
%K dblp
%P 684-690
%T A Fully Implicit Algorithm for Exact State Minimization.
%U http://dblp.uni-trier.de/db/conf/dac/dac94.html#KamVBS94
%@ 0-7803-1836-6
@inproceedings{conf/dac/KamVBS94,
added-at = {2017-03-16T00:00:00.000+0100},
author = {Kam, Timothy and Villa, Tiziano and Brayton, Robert K. and Sangiovanni-Vincentelli, Alberto L.},
biburl = {https://www.bibsonomy.org/bibtex/264c718f3f456e86e0514349f9ed8e8b2/dblp},
booktitle = {DAC},
crossref = {conf/dac/1994},
editor = {Lorenzetti, Michael J.},
ee = {http://doi.acm.org/10.1145/196244.196615},
interhash = {a77125b5ed638a9af277f1b28e238b98},
intrahash = {64c718f3f456e86e0514349f9ed8e8b2},
isbn = {0-7803-1836-6},
keywords = {dblp},
pages = {684-690},
publisher = {ACM Press},
timestamp = {2017-03-17T11:41:18.000+0100},
title = {A Fully Implicit Algorithm for Exact State Minimization.},
url = {http://dblp.uni-trier.de/db/conf/dac/dac94.html#KamVBS94},
year = 1994
}