Meta data
- BibTeX key
- conf/apsec/SuiXXJCML14
- entry type
- inproceedings
- booktitle
- APSEC (1)
- year
- 2014
- pages
- 319-326
- publisher
- IEEE Computer Society
- crossref
- conf/apsec/2014-1
- ee
- https://doi.ieeecomputersociety.org/10.1109/APSEC.2014.55
- isbn
- 978-1-4799-7425-2
- url
- http://dblp.uni-trier.de/db/conf/apsec/apsec2014-1.html#SuiXXJCML14
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/apsec/SuiXXJCML14
%A Sui, Jun
%A Xu, Chang
%A Xi, Wang
%A Jiang, Yanyan
%A Cao, Chun
%A Ma, Xiaoxing
%A Lu, Jian
%B APSEC (1)
%D 2014
%E Cha, Sungdeok (Steve)
%E Guéhéneuc, Yann-Gaël
%E Kwon, Gihwon
%I IEEE Computer Society
%K dblp
%P 319-326
%T GAIN: GPU-Based Constraint Checking for Context Consistency.
%U http://dblp.uni-trier.de/db/conf/apsec/apsec2014-1.html#SuiXXJCML14
%@ 978-1-4799-7425-2
@inproceedings{conf/apsec/SuiXXJCML14,
added-at = {2023-03-23T00:00:00.000+0100},
author = {Sui, Jun and Xu, Chang and Xi, Wang and Jiang, Yanyan and Cao, Chun and Ma, Xiaoxing and Lu, Jian},
biburl = {https://www.bibsonomy.org/bibtex/252ee9ace3487d0157f092f5adcb98aa6/dblp},
booktitle = {APSEC (1)},
crossref = {conf/apsec/2014-1},
editor = {Cha, Sungdeok (Steve) and Guéhéneuc, Yann-Gaël and Kwon, Gihwon},
ee = {https://doi.ieeecomputersociety.org/10.1109/APSEC.2014.55},
interhash = {69cd3fc22cbfc23dd531eda9e5b616d4},
intrahash = {52ee9ace3487d0157f092f5adcb98aa6},
isbn = {978-1-4799-7425-2},
keywords = {dblp},
pages = {319-326},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T06:08:34.000+0200},
title = {GAIN: GPU-Based Constraint Checking for Context Consistency.},
url = {http://dblp.uni-trier.de/db/conf/apsec/apsec2014-1.html#SuiXXJCML14},
year = 2014
}