BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Academic documents

Document subtype
Master's dissertation

Title
Tools and techniques for the static verification of progress in communication-centred systems

Participants in the publication
Camacho, André Filipe Marinhas Henriques da Silva (Author)
LASIGE
 Vasconcelos, Vasco Thudichum (Adviser)
Dep. Informática
 LASIGE
 Vieira, Hugo Filipe Mendes Torres (Adviser)
Dep. Informática
Date of Publication
2014

Institution
FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA

Publication Identifiers

Document Identifiers
URL - https://repositorio.ul.pt/handle/10451/15862


Export

APA
Camacho, André Filipe Marinhas Henriques da Silva, (2014). Tools and techniques for the static verification of progress in communication-centred systems. https://repositorio.ul.pt/handle/10451/15862 Vasconcelos, Vasco Thudichum, Vieira, Hugo Filipe Mendes Torres,

IEEE
Camacho, André Filipe Marinhas Henriques da Silva, "Tools and techniques for the static verification of progress in communication-centred systems", 2014.

BIBTEX
@MastersThesis{34334, author = {Camacho, André Filipe Marinhas Henriques da Silva}, title = {Tools and techniques for the static verification of progress in communication-centred systems}, school = {FACULDADE DE CIÊNCIAS DA UNIVERSIDADE DE LISBOA}, year = {2014}, OPTtype = {Documentos Académicos} }