dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Rudolf Schlatte (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLImmo Grabe, Mohammad Mahdi Jaghoori, Bernhard K. Aichernig, Christel Baier, Tobias Blechmann, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen, Joachim Klein, Sascha Klüppelholz, Marcel Kyas, Wolfgang Leister, Rudolf Schlatte, Andries Stam, Martin Steffen, Simon Tschirner, Liang Xuedong, Wang Yi: Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo. Electr. Notes Theor. Comput. Sci. 266: 33-48 (2010)
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard K. Aichernig, Andreas Griesmayer, Rudolf Schlatte, Andries Stam: Modeling and Testing Multi-Threaded Asynchronous Systems with Creol. Electr. Notes Theor. Comput. Sci. 243: 3-14 (2009)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard K. Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam: Conformance Testing of Distributed Concurrent Systems with Executable Designs. FMCO 2008: 61-81

Selection of 3 from 20 records - Rudolf Schlatte has 39 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page