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

Corporate Authors: FORMATS 2003 (1st 2004 Marseille, France)
Group Author: Larsen K. G.; (Kim G.), 1957-; Niebert Peter.
Published: Springer,
Publication Dates: 2004.
Call Number: TP15-532/F723/2003