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

Bug 667 - Broken link
Summary: Broken link
Status: ASSIGNED
Alias: None
Product: Web page
Classification: Unclassified
Component: Misc (show other bugs)
Version: unspecified
Hardware: PC Linux
: P5 enhancement
Assignee: Marius Mikučionis
URL:
Depends on:
Blocks:
 
Reported: 2019-09-28 02:15 CEST by Arthur Milchior
Modified: 2019-10-01 16:47 CEST (History)
1 user (show)

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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