%0 Conference Paper %1 conf/tacas/JinYS12 %A Jin, Huafeng %A Yavuz-Kahveci, Tuba %A Sanders, Beverly A. %B TACAS %D 2012 %E Flanagan, Cormac %E König, Barbara %I Springer %K dblp %P 220-236 %T Java Memory Model-Aware Model Checking. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2012.html#JinYS12 %V 7214 %@ 978-3-642-28755-8

@inproceedings{conf/tacas/JinYS12, added-at = {2018-06-26T00:00:00.000+0200}, author = {Jin, Huafeng and Yavuz-Kahveci, Tuba and Sanders, Beverly A.}, biburl = {https://www.bibsonomy.org/bibtex/2a775ddec93b5f8f26b37d7a4f5ea18ef/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2012}, editor = {Flanagan, Cormac and König, Barbara}, ee = {https://doi.org/10.1007/978-3-642-28756-5_16}, interhash = {17d50503a28820ccbb0b552dd204004b}, intrahash = {a775ddec93b5f8f26b37d7a4f5ea18ef}, isbn = {978-3-642-28755-8}, keywords = {dblp}, pages = {220-236}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:36:16.000+0200}, title = {Java Memory Model-Aware Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2012.html#JinYS12}, volume = 7214, year = 2012 }