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 - LASIGE Computer Science and Engineering Research Centre
Vasconcelos, Vasco Thudichum (Adviser)
Dep. Informatica
LASIGE - LASIGE Computer Science and Engineering Research Centre
Vieira, Hugo Filipe Mendes Torres (Adviser)
Dep. Informatica

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} }