Jard, Claude.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Formal modeling and analysis of timed systems6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /
by:
(1998 :); Cassez, Franck, (1967-); Jard, Claude.; SpringerLink (Online service)
(書目-語言資料,印刷品)