Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs
書誌事項
- 公開日
- 2010
- 権利情報
-
- http://www.springer.com/tdm
- DOI
-
- 10.1007/978-3-642-14295-6_39
- 公開者
- Springer Berlin Heidelberg
この論文をさがす
収録刊行物
-
- Lecture Notes in Computer Science
-
Lecture Notes in Computer Science 434-449, 2010
Springer Berlin Heidelberg
