1. |
- Behrmann, Gerd, et al.
(författare)
-
UPPAAL - Present and Future
- 2001
-
Ingår i: Proceedings of the 40th IEEE Conference on Decision and Control.
-
Konferensbidrag (refereegranskat)
|
|
2. |
- Behrmann Gerd,, et al.
(författare)
-
UPPAAL Implementation Secrets
- 2002
-
Ingår i: International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems. ; , s. 3-
-
Konferensbidrag (refereegranskat)
|
|
3. |
|
|
4. |
|
|
5. |
- Pettersson, Ingvor, et al.
(författare)
-
Värdet av hjälpmedel i vardagslivet
- 2002
-
Ingår i: Vardagsliv, livskvalitet, habilitering. - Örebro : Psykiatri och habilitering, Örebro läns landsting.
-
Konferensbidrag (refereegranskat)
|
|