%0 Conference Paper %1 conf/hvc/ChenWY11 %A Chen, Qichang %A Wang, Liqiang %A Yang, Zijiang %B Haifa Verification Conference %D 2011 %E Eder, Kerstin %E Lourenço, João %E Shehory, Onn %I Springer %K dblp %P 115-129 %T SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2011.html#ChenWY11 %V 7261 %@ 978-3-642-34187-8

@inproceedings{conf/hvc/ChenWY11, added-at = {2022-08-10T00:00:00.000+0200}, author = {Chen, Qichang and Wang, Liqiang and Yang, Zijiang}, biburl = {https://www.bibsonomy.org/bibtex/226f843e593c7de6374fcf7157f1a3787/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2011}, editor = {Eder, Kerstin and Lourenço, João and Shehory, Onn}, ee = {https://doi.org/10.1007/978-3-642-34188-5_12}, interhash = {d19932f18dce7398d3fbd16ebc6d3033}, intrahash = {26f843e593c7de6374fcf7157f1a3787}, isbn = {978-3-642-34187-8}, keywords = {dblp}, pages = {115-129}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T20:56:09.000+0200}, title = {SAM: Self-adaptive Dynamic Analysis for Multithreaded Programs.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2011.html#ChenWY11}, volume = 7261, year = 2011 }