%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 }