Ouaknine, J. und Vaandrager, F.W. (Hrsg.) (2009) „Formal Modeling and Analysis of Timed Systems : 7 th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings“, Theoretical Computer Science and General Issues. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-642-04368-0.

Ouaknine, Joel, und Frits W Vaandrager, Hrsg. „Formal Modeling and Analysis of Timed Systems : 7 th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?]. https://doi.org/10.1007/978-3-642-04368-0.

Ouaknine, J., … Vaandrager, F. W. (Hrsg.). (ca. 2009). Formal Modeling and Analysis of Timed Systems : 7 th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2009). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-04368-0

Ouaknine, J., und F. W. Vaandrager, Herausgeber. „Formal Modeling and Analysis of Timed Systems : 7 th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings“. Theoretical Computer Science and General Issues, 1 st ed. 2009, cd, Springer Berlin Heidelberg, 2009, https://doi.org/10.1007/978-3-642-04368-0.

OUAKNINE, Joel und Frits W VAANDRAGER (Hrsg.). [cd]. 2009. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642043680