大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings
| 名称 | Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings | |
| 索引号 | ||
| 分类号 | (| 08 环境公报) |
|
| 作者 | Asarin、 Eugene.、Bouyer、 Patricia.、SpringerLink (Online service)、 | |
| 出版社 | Berlin, Heidelberg : Springer Berlin Heidelberg, 2006. | |
| ISBN | ||
| 页数 | XI, 369 p. Also available online. digital. | |
| 价格 | doi | |
| 标签 | ||
| 简介 | ||
| 注解 | ||
粤公网安备 44030602003680号