From 438a93890867afc22b10568db68250064f3b2478 Mon Sep 17 00:00:00 2001 From: Renato Neves Date: Sun, 10 Mar 2024 22:01:56 +0000 Subject: [PATCH] s --- README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/README.md b/README.md index b8a9bf7..1395862 100644 --- a/README.md +++ b/README.md @@ -23,8 +23,7 @@ concurrent algorithms. | 12 feb. 2024 | Introduction to CCS. Exercises ([slides](CCS/CCS.pdf)) | | 19 feb. 2024 | Introduction to the theory of timed automata. Exercises ([slides](introtimedAutomata/timed-automata.pdf)) | | 26 feb. 2024 | Jornadas física | - | 04 mar. 2024 | UPPAAL, the philosophers, and the adventurers ([video](https://www.youtube.com/watch?v=7yDmGnA8Hw0) and -[model](adventurers.xml)) | + | 04 mar. 2024 | UPPAAL, the philosophers, and the adventurers ([video](https://www.youtube.com/watch?v=7yDmGnA8Hw0) and [model](adventurers.xml)) | | 11 mar. 2024 | Continuation of the previous lecture. A logic for timed systems ([slides](Uppaal/uppaal.pdf)) | # Assessment