Cassez, F. und Jard, C. (Hrsg.) (2008) „Formal Modeling and Analysis of Timed Systems : 6 th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings“, Theoretical Computer Science and General Issues. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-540-85778-5.

Cassez, Franck, und Claude Jard, Hrsg. „Formal Modeling and Analysis of Timed Systems : 6 th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2008?]. https://doi.org/10.1007/978-3-540-85778-5.

Cassez, F., … Jard, C. (Hrsg.). (ca. 2008). Formal Modeling and Analysis of Timed Systems : 6 th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2008). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-85778-5

Cassez, F., und C. Jard, Herausgeber. „Formal Modeling and Analysis of Timed Systems : 6 th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings“. Theoretical Computer Science and General Issues, 1 st ed. 2008, cd, Springer Berlin Heidelberg, 2008, https://doi.org/10.1007/978-3-540-85778-5.

CASSEZ, Franck und Claude JARD (Hrsg.). [cd]. 2008. 1 st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540857785