Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/sas/HuangZ11
AU - Huang, Jeff
AU - Zhang, Charles
TI - An Efficient Static Trace Simplification Technique for Debugging Concurrent Programs.
BT - Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
SP - 163
EP - 179
PY - 2011//
DO - 10.1007/978-3-642-23702-7_15
UR - https://doi.org/10.1007/978-3-642-23702-7_15
ER -
