%0 Conference Paper %1 conf/ica3pp/ZhouAWC15 %A Zhou, Junrui %A An, Hong %A Wang, Yunyun %A Chen, Junshi %B ICA3PP (4) %D 2015 %E Wang, Guojun %E Zomaya, Albert Y. %E Pérez, Gregorio Martínez %E Li, Kenli %I Springer %K dblp %P 521-538 %T Local State Reusing for Efficient Model Checking of Multithreaded Programs. %U http://dblp.uni-trier.de/db/conf/ica3pp/ica3pp2015-4.html#ZhouAWC15 %V 9531 %@ 978-3-319-27139-2

@inproceedings{conf/ica3pp/ZhouAWC15, added-at = {2017-05-26T00:00:00.000+0200}, author = {Zhou, Junrui and An, Hong and Wang, Yunyun and Chen, Junshi}, biburl = {https://www.bibsonomy.org/bibtex/22682318bec36ce3b306e390714decaea/dblp}, booktitle = {ICA3PP (4)}, crossref = {conf/ica3pp/2015-4}, editor = {Wang, Guojun and Zomaya, Albert Y. and Pérez, Gregorio Martínez and Li, Kenli}, ee = {https://doi.org/10.1007/978-3-319-27140-8_36}, interhash = {73bca5a04f51dfb5581a452ad3ac3618}, intrahash = {2682318bec36ce3b306e390714decaea}, isbn = {978-3-319-27139-2}, keywords = {dblp}, pages = {521-538}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T22:02:58.000+0200}, title = {Local State Reusing for Efficient Model Checking of Multithreaded Programs.}, url = {http://dblp.uni-trier.de/db/conf/ica3pp/ica3pp2015-4.html#ZhouAWC15}, volume = 9531, year = 2015 }