@Techreport{CUNI:D3S-TR-2013-06,
   status = {public},
   link = {http://d3s.mff.cuni.cz/publications/download/D3S-TR-2013-06.pdf},
   task = {T5.1},
   month = {December},
   year = {2013},
   invited = {no},
   main = {no},
   title = {{Computing Approximate Happens-Before Order with Static and Dynamic Analysis}},
   author = {Pavel Parizek and Pavel Jancik},
   period = {year3},
   institution = {Charles University},
   partner = {cuni},
   wp = {wp5}
}