Inhalt → Informatik, Informations- wissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Datenverarbeitung; Informatik

• Automatic Protocol Conformance Checking of Recursive and Parallel Component-Based Systems Both, Andreas ; Zimmermann, Wolf Halle,S., 2008 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2008

• Proceedings of the PhD symposium at the 1st European Conference on service-oriented and cloud computing Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2012 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2012

• Proceedings of the PhD symposium at the 2nd European Conference on service-oriented and cloud computing Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2013 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2013

• Proceedings of the PhD symposium at the 2nd European Conference on service-oriented and cloud computing Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2015 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2015

• Proceedings of the PhD symposium at the 5th European Conference on Service-Oriented and Cloud Computing Zavattaro, Gianluigi (Hrsg.) ; Zimmermann, Wolf (Hrsg.) Halle : Institute of Computer Science, Faculty of Natural Sciences III, Martin-Luther-University Halle-Wittenberg, September 2016

• Proceedings of the PhD Symposium at the 8th IEEE European Conference on Web Services Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2010 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2010

• Proceedings of the PhD Symposium at the 9th IEEE European Conference on web services Halle (Saale) : Martin-Luther-University Halle-Wittenberg, Institute of Computer Science, 2011 ; Halle, Saale : Universitäts- und Landesbibliothek Sachsen-Anhalt, 2011