@Inproceedings{PJ14,
   status = {public},
   task = {T5.1},
   publisher = {ACM},
   doi = {10.1145/2632362.2632365},
   booktitle = {Proceedings of the 21st International Symposium on Model Checking of Software},
   year = {2014},
   isbn = {978-1-4503-2452-6},
   invited = {no},
   main = {no},
   title = {{Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal}},
   author = {Pavel Parizek and Pavel Jancik},
   period = {year4},
   partner = {CUNI},
   wp = {wp5},
   pages = {1--10}
}