This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 667

Summary: Broken link
Product: Web page Reporter: Arthur Milchior <arthur>
Component: MiscAssignee: Marius Mikučionis <marius>
Status: ASSIGNED ---    
Severity: enhancement CC: marius
Priority: P5    
Version: unspecified   
Hardware: PC   
OS: Linux   
Architecture:

Description Arthur Milchior 2019-09-28 02:15:16 CEST 
In the documentation webpage; all links to the first paer «Timed and Hybrid Systems in Uppaal2k» are broken
Comment 1 Arthur Milchior 2019-09-28 02:18:13 CEST 
Same problem with the paper Uppaal2k
Comment 2 Marius Mikučionis 2019-10-01 16:47:12 CEST 
Thanks for the report, it seems that Uppsala has purged Paul's homepage since he moved.

I found a copy of slides here:
https://slideplayer.com/slide/7561810