Inproceedings,
Engineering Change in a Non-Deterministic FSM Setting.
S. Khatri, A. Narayan, S. Krishnan, K. McMillan, R. Brayton, and A. Sangiovanni-Vincentelli.DAC, page 451-456. ACM Press, (1996)
Meta data
- BibTeX key
- conf/dac/KhatriNKMBS96
- entry type
- inproceedings
- booktitle
- DAC
- year
- 1996
- pages
- 451-456
- publisher
- ACM Press
- crossref
- conf/dac/1996
- ee
- http://doi.acm.org/10.1145/240518.240604
- isbn
- 0-89791-779-0
- url
- http://dblp.uni-trier.de/db/conf/dac/dac96.html#KhatriNKMBS96
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/dac/KhatriNKMBS96
%A Khatri, Sunil P.
%A Narayan, Amit
%A Krishnan, Sriram C.
%A McMillan, Kenneth L.
%A Brayton, Robert K.
%A Sangiovanni-Vincentelli, Alberto L.
%B DAC
%D 1996
%E Pennino, Thomas
%E Yoffa, Ellen J.
%I ACM Press
%K dblp
%P 451-456
%T Engineering Change in a Non-Deterministic FSM Setting.
%U http://dblp.uni-trier.de/db/conf/dac/dac96.html#KhatriNKMBS96
%@ 0-89791-779-0
@inproceedings{conf/dac/KhatriNKMBS96,
added-at = {2017-03-16T00:00:00.000+0100},
author = {Khatri, Sunil P. and Narayan, Amit and Krishnan, Sriram C. and McMillan, Kenneth L. and Brayton, Robert K. and Sangiovanni-Vincentelli, Alberto L.},
biburl = {https://www.bibsonomy.org/bibtex/28b3ac14ec0459a189ea1411f788dee7a/dblp},
booktitle = {DAC},
crossref = {conf/dac/1996},
editor = {Pennino, Thomas and Yoffa, Ellen J.},
ee = {http://doi.acm.org/10.1145/240518.240604},
interhash = {1bffededc182c7e993091871df612fac},
intrahash = {8b3ac14ec0459a189ea1411f788dee7a},
isbn = {0-89791-779-0},
keywords = {dblp},
pages = {451-456},
publisher = {ACM Press},
timestamp = {2017-03-17T11:39:35.000+0100},
title = {Engineering Change in a Non-Deterministic FSM Setting.},
url = {http://dblp.uni-trier.de/db/conf/dac/dac96.html#KhatriNKMBS96},
year = 1996
}