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