Lecture

Verification with distributed temporal logic

Jaime Arsénio de Brito Ramos — 2025

Key information

Authors:

Jaime Arsénio de Brito Ramos (Jaime Arsénio de Brito Ramos)

Published in

September 2025

Abstract

Sumário do seminário/lição apresentado para provas de agregação em Matemática

Publication details

Authors in the community:

Fields of Science and Technology (FOS)

mathematics - Mathematics

Keywords

  • Prova de agregação
  • Habilitation
  • Matemática
  • Mathematics

Publication language (ISO code)

eng - English

Related publication

https://scholar.tecnico.ulisboa.pt/records/dG6MijovBuhjqcxqQM-PNb_krLhrAlqEfFKr

Related identifier type

IsSupplementedBy - indicates that the linked publication is a supplement to the publication

Rights type:

Open access