Inproceedings,
Designing Neural Networks Using Logical Specs.
S. Singh, M. Vasic, and S. Khurshid.ISSRE, page 160-171. IEEE, (2020)
Meta data
- BibTeX key
- conf/issre/SinghVK20
- entry type
- inproceedings
- booktitle
- ISSRE
- year
- 2020
- pages
- 160-171
- publisher
- IEEE
- crossref
- conf/issre/2020
- ee
- https://doi.org/10.1109/ISSRE5003.2020.00024
- isbn
- 978-1-7281-9870-5
- url
- http://dblp.uni-trier.de/db/conf/issre/issre2020.html#SinghVK20
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/issre/SinghVK20
%A Singh, Shikhar
%A Vasic, Marko
%A Khurshid, Sarfraz
%B ISSRE
%D 2020
%E Vieira, Marco
%E Madeira, Henrique
%E Antunes, Nuno
%E Zheng, Zheng
%I IEEE
%K dblp
%P 160-171
%T Designing Neural Networks Using Logical Specs.
%U http://dblp.uni-trier.de/db/conf/issre/issre2020.html#SinghVK20
%@ 978-1-7281-9870-5
@inproceedings{conf/issre/SinghVK20,
added-at = {2020-11-17T00:00:00.000+0100},
author = {Singh, Shikhar and Vasic, Marko and Khurshid, Sarfraz},
biburl = {https://www.bibsonomy.org/bibtex/20d7278d4f54d092a972eaa8e6690eaec/dblp},
booktitle = {ISSRE},
crossref = {conf/issre/2020},
editor = {Vieira, Marco and Madeira, Henrique and Antunes, Nuno and Zheng, Zheng},
ee = {https://doi.org/10.1109/ISSRE5003.2020.00024},
interhash = {74c6c00caa5403420f7377313dd3d9d5},
intrahash = {0d7278d4f54d092a972eaa8e6690eaec},
isbn = {978-1-7281-9870-5},
keywords = {dblp},
pages = {160-171},
publisher = {IEEE},
timestamp = {2020-11-19T11:37:03.000+0100},
title = {Designing Neural Networks Using Logical Specs.},
url = {http://dblp.uni-trier.de/db/conf/issre/issre2020.html#SinghVK20},
year = 2020
}