@misc{misc2dbff9c7,
title   = {Model checking merged program traces},
author = {Silva, Paulo Salem da and Melo, Ana Cristina Vieira de},
year = {2009},
doi = {10.1016/j.entcs.2009.05.047},
publisher = {Elsevier},
booktitle   = {Brazilian Symposium on Formal Methods - SBMF}
}