@InProceedings{Carvalho:02,
  author = "Carvalho, N. and Pereira, J. and Rodrigues, L.",
  title = "Concretiza\c{c}\~{a}o de Protocolos com Fiabilidade Sem\^{a}ntica",
  booktitle = "Actas da 5$^a$ Confer{\^e}ncia sobre Redes de Computadores",
  year = 2002,
  address = "Faro, Portugal",
  month = sep
}