@InProceedings{MachadoInforum:11,
  author = "Machado, N. and Romano, P. and Rodrigues, L.",
  title = "Reprodução de Faltas em Programas Concorrentes Através da Combinação de Múltiplos Históricos Parciais",
  booktitle = "Actas do terceiro Simpósio de Informática (Inforum)",
  year = 2011,
  address = "Coimbra, Portugal",
  month = sep
}