Inproceedings,
Learning to Optimize the Alloy Analyzer.
W. Wang, K. Wang, M. Zhang, and S. Khurshid.ICST, page 228-239. IEEE, (2019)
Meta data
- BibTeX key
- conf/icst/WangWZK19
- entry type
- inproceedings
- booktitle
- ICST
- year
- 2019
- pages
- 228-239
- publisher
- IEEE
- crossref
- conf/icst/2019
- ee
- https://doi.org/10.1109/ICST.2019.00031
- isbn
- 978-1-7281-1736-2
- url
- http://dblp.uni-trier.de/db/conf/icst/icst2019.html#WangWZK19
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icst/WangWZK19
%A Wang, Wenxi
%A Wang, Kaiyuan
%A Zhang, Mengshi
%A Khurshid, Sarfraz
%B ICST
%D 2019
%I IEEE
%K dblp
%P 228-239
%T Learning to Optimize the Alloy Analyzer.
%U http://dblp.uni-trier.de/db/conf/icst/icst2019.html#WangWZK19
%@ 978-1-7281-1736-2
@inproceedings{conf/icst/WangWZK19,
added-at = {2019-06-11T00:00:00.000+0200},
author = {Wang, Wenxi and Wang, Kaiyuan and Zhang, Mengshi and Khurshid, Sarfraz},
biburl = {https://www.bibsonomy.org/bibtex/25d5a9cea77b5f49cb64024782c9a01d8/dblp},
booktitle = {ICST},
crossref = {conf/icst/2019},
ee = {https://doi.org/10.1109/ICST.2019.00031},
interhash = {4b82dacaaa7fed6331a54cff4435c3f5},
intrahash = {5d5a9cea77b5f49cb64024782c9a01d8},
isbn = {978-1-7281-1736-2},
keywords = {dblp},
pages = {228-239},
publisher = {IEEE},
timestamp = {2019-10-17T18:25:23.000+0200},
title = {Learning to Optimize the Alloy Analyzer.},
url = {http://dblp.uni-trier.de/db/conf/icst/icst2019.html#WangWZK19},
year = 2019
}