%0 Conference Paper %1 conf/hvc/AgarwalWS05 %A Agarwal, Rahul %A Wang, Liqiang %A Stoller, Scott D. %B Haifa Verification Conference %D 2005 %E Ur, Shmuel %E Bin, Eyal %E Wolfsthal, Yaron %I Springer %K dblp %P 191-207 %T Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring. %U http://dblp.uni-trier.de/db/conf/hvc/hvc2005.html#AgarwalWS05 %V 3875 %@ 3-540-32604-9

@inproceedings{conf/hvc/AgarwalWS05, added-at = {2017-05-19T00:00:00.000+0200}, author = {Agarwal, Rahul and Wang, Liqiang and Stoller, Scott D.}, biburl = {https://www.bibsonomy.org/bibtex/2d7de768732da66d56fcdbef5c8efa31a/dblp}, booktitle = {Haifa Verification Conference}, crossref = {conf/hvc/2005}, editor = {Ur, Shmuel and Bin, Eyal and Wolfsthal, Yaron}, ee = {https://doi.org/10.1007/11678779_14}, interhash = {3b0b368b0a9b1fe607aebbb382bac215}, intrahash = {d7de768732da66d56fcdbef5c8efa31a}, isbn = {3-540-32604-9}, keywords = {dblp}, pages = {191-207}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:06:33.000+0200}, title = {Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring.}, url = {http://dblp.uni-trier.de/db/conf/hvc/hvc2005.html#AgarwalWS05}, volume = 3875, year = 2005 }