Inproceedings,
RTL bug localization through LTL specification mining (WIP).
V. Iyer, D. Kim, B. Nikolic, and S. Seshia.MEMOCODE, page 5:1-5:5. ACM, (2019)
Meta data
- BibTeX key
- conf/memocode/IyerKNS19
- entry type
- inproceedings
- booktitle
- MEMOCODE
- year
- 2019
- pages
- 5:1-5:5
- publisher
- ACM
- crossref
- conf/memocode/2019
- ee
- https://doi.org/10.1145/3359986.3361202
- isbn
- 978-1-4503-6997-8
- url
- http://dblp.uni-trier.de/db/conf/memocode/memocode2019.html#IyerKNS19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/memocode/IyerKNS19
%A Iyer, Vighnesh
%A Kim, Donggyu
%A Nikolic, Borivoje
%A Seshia, Sanjit A.
%B MEMOCODE
%D 2019
%E Roop, Partha S.
%E Zhan, Naijun
%E Gao, Sicun
%E Nuzzo, Pierluigi
%I ACM
%K dblp
%P 5:1-5:5
%T RTL bug localization through LTL specification mining (WIP).
%U http://dblp.uni-trier.de/db/conf/memocode/memocode2019.html#IyerKNS19
%@ 978-1-4503-6997-8
@inproceedings{conf/memocode/IyerKNS19,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Iyer, Vighnesh and Kim, Donggyu and Nikolic, Borivoje and Seshia, Sanjit A.},
biburl = {https://www.bibsonomy.org/bibtex/2ee9af65e0327b60de22a33a533ff553f/dblp},
booktitle = {MEMOCODE},
crossref = {conf/memocode/2019},
editor = {Roop, Partha S. and Zhan, Naijun and Gao, Sicun and Nuzzo, Pierluigi},
ee = {https://doi.org/10.1145/3359986.3361202},
interhash = {f447816d1ed3461cafec761e8282d362},
intrahash = {ee9af65e0327b60de22a33a533ff553f},
isbn = {978-1-4503-6997-8},
keywords = {dblp},
pages = {5:1-5:5},
publisher = {ACM},
timestamp = {2024-04-09T10:15:52.000+0200},
title = {RTL bug localization through LTL specification mining (WIP).},
url = {http://dblp.uni-trier.de/db/conf/memocode/memocode2019.html#IyerKNS19},
year = 2019
}