Normal view
MARC view
- Pettersson, Paul
Pettersson, Paul (Nombre personal)
Formal modeling and analysis of timed systems, c2005: t.p. (Paul Pettersson) t.p. verso (Dept. of Information Technology, Uppsala Univ., Uppsala, Sweden)