Normal view MARC view
  • Pettersson, Paul

Pettersson, Paul (Nombre personal)

Preferred form: Pettersson, Paul

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