Peter Niebert

1 published title

Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers

(Contributor)

1 edition