Paul Pettersson

1 published title

Formal modeling and analysis of timed systems : third international conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005 : proceedings

(Contributor)

1 edition