Wagner, Marco; Zöbel, Dieter; Meroth, Ansgar

SIGBED Review. Bd. 10. H. 1. New York, NY: ACM Association for Computing Machinery 2013 S. 37 - 42

Jürjens, Jan

2013 S. 1 - 26

Naujokat, Katharina

Koblenz: Universität Koblenz-Landau, Campus Koblenz 2013

Hopfgartner, Frank

Justyna Zander;Pieter J. Mosterman (Hrsg). Computation for Humanity: Information Technology to Advance Society. New York, NY: Taylor & Francis 2013 S. 205 - 234

Horbach, Matthias; Sofronie-Stokkermans, Viorica

Pascal Fontaine; Christophe Ringeissen; Renate A. Schmidt (Hrsg). Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. Berlin: Springer 2013 S. 198 - 213

Becker, Stefan; Hück, Benjamin; Naujokat, Katharina et al.

Matthias Horbach (Hrsg). INFORMATIK 2013 - Informatik angepasst an Mensch, Organisation und Umwelt: 43. Jahrestagung der Gesellschaft für Informatik e. V. (GI); September 16. - 20., 2013; Koblenz. Bonn: Gesellschaft für Informatik 2013 S. 3081 - 3095

Sofronie-Stokkermans, Viorica

Andrei Voronkov; Christoph Weidenbach (Hrsg). Programming Logics: Essays in Memory of Harald Ganzinger. Berlin: Springer 2013 S. 392 - 413

Autenrieth, Marcus; Frey, Hannes

Kurt Rothermel; Andreas Kirstädter; Joachim Charzinski; Florian Berg (Hrsg). Proceedings of the International Conference on Networked Systems: NetSys 2013; 11-15 March, 2013; Stuttgart; Germany. Piscataway, NJ: IEEE Computer Society 2013 S. 126 - 131

Autenrieth, Marcus; Frey, Hannes

Juan E. Guerrero (Hrsg). Proceedings 2013 Conference on Networked Systems: Netsys 2013; 11-15 March 2013; Stuttgart, Germany. Los Alamitos, CA: IEEE Computer Society 2013 S. 126 - 131

Humberg, Thorsten; Wessel, Christian; Poggenpohl, Daniel et al.

Frédéric Desprez; Donald Ferguson; Ethan Hadar; Frank Leymann; Matthias Jarke; Markus Helfert (Hrsg). Proceedings of the 3rd International Conference on Cloud Computing and Services Science CLOSER 2013; Aachen, Germany; 8- 10 May, 2013. Setúbal: SciTePress 2013 S. 553 - 561