Download the report
Timing analysis of an SDL subset in Uppaal.
The report in
ps-format
and
pdf-format.
Abstract
here
.
If you want you can send a greeting to me here, I am curious about who is downloading my thesis.
Name:
E-mail:
Subject:
Text:
anders@hessel.nu