Inproceedings,
Verifying clock schedules.
T. Szymanski, and N. Shenoy.ICCAD, page 124-131. IEEE Computer Society / ACM, (1992)
Meta data
- BibTeX key
- conf/iccad/SzymanskiS92
- entry type
- inproceedings
- booktitle
- ICCAD
- year
- 1992
- pages
- 124-131
- publisher
- IEEE Computer Society / ACM
- crossref
- conf/iccad/1992
- ee
- https://dl.acm.org/citation.cfm?id=304072
- isbn
- 0-8186-3010-8
- url
- http://dblp.uni-trier.de/db/conf/iccad/iccad1992.html#SzymanskiS92
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/iccad/SzymanskiS92
%A Szymanski, Thomas G.
%A Shenoy, Narendra V.
%B ICCAD
%D 1992
%E Trevillyan, Louise
%E Lightner, Michael R.
%I IEEE Computer Society / ACM
%K dblp
%P 124-131
%T Verifying clock schedules.
%U http://dblp.uni-trier.de/db/conf/iccad/iccad1992.html#SzymanskiS92
%@ 0-8186-3010-8
@inproceedings{conf/iccad/SzymanskiS92,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Szymanski, Thomas G. and Shenoy, Narendra V.},
biburl = {https://www.bibsonomy.org/bibtex/25a64e8fb3e0635ed0135c0e8ffa7c1a2/dblp},
booktitle = {ICCAD},
crossref = {conf/iccad/1992},
editor = {Trevillyan, Louise and Lightner, Michael R.},
ee = {https://dl.acm.org/citation.cfm?id=304072},
interhash = {90fe53bf77cb9701a569aac246ffc5b0},
intrahash = {5a64e8fb3e0635ed0135c0e8ffa7c1a2},
isbn = {0-8186-3010-8},
keywords = {dblp},
pages = {124-131},
publisher = {IEEE Computer Society / ACM},
timestamp = {2024-04-10T20:49:19.000+0200},
title = {Verifying clock schedules.},
url = {http://dblp.uni-trier.de/db/conf/iccad/iccad1992.html#SzymanskiS92},
year = 1992
}