FORMATS 2003 ((2003 :)
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal modeling and analysis of timed systems = first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 : revised papers /
by:
Larsen, K. G. (1957-); Niebert, Peter.; SpringerLink (Online service); FORMATS 2003 ((2003 :)
(書目-語言資料,印刷品)