Formal Modeling and Analysis of Timed Systems, FORMATS 2003
First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
Lecture Notes in Computer Science Vol.2791
Ed. by Kim G. Larsen a. Peter Niebert
- 出版社：Springer, Berlin
- 出版年月：2004年 00月
- ISBN：9783540216711
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：2004. VIII
- 巻数・ページ数：281 p.
- 分類： コンピュータ一般