Record:   Prev Next
作者 Formal modeling and analysis of timed systems (Conference) (6th : 2008 Sep : Saint Malo, France)
書名 Formal modeling and analysis of timed systems [electronic resource] : 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings / edited by Franck Cassez, Claude Jard
出版項 Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008
國際標準書號 9783540857785 (electronic bk.)
9783540857778 (paper)
book jacket
Record:   Prev Next