Formal modeling and analysis of timed systems (Conference) (2008 Sep :)
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Formal modeling and analysis of timed systems = 6th international conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008 : proceedings /
by:
Cassez, Franck, (1967-); SpringerLink (Online service); Formal modeling and analysis of timed systems (Conference) (2008 Sep :); Jard, Claude.
(Language materials, printed)