@Inproceedings{CarlosAlbertoLourencodosSantos_6_2006,
   author = "Carlos Alberto Louren{\c c}o dos Santos and C. Ferreira and Jos{\'e} Manuel Nunes Salvador Tribolet",
   title = "Caso de Estudo: Modela{\c c}{\~a}o e Verifica{\c c}{\~a}o Formal de um Servi{\c c}o de Urg{\^e}ncia Hospitalar",
   booktitle = ", 1{\textordfeminine} Confer{\^e}ncia Ib{\'e}rica de Sistemas e Tecnologias de Informa{\c c}{\~a}o (CISTI2006)",
   location = "Esposende Portugal",
   year = 2006,
   month = jun,
   BibTexOrigem = "3550 www.Inesc-ID.pt 2019-05-24"
}





You may copy/past the above, or you may click here to export it

This is a recent BibTex adaptation in test which probably do not cover all the conversions needed
If you find an error or something missing, please tell us. Thanks for your comprehension!

You might want to look the old version instead