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