author = { Parnjai, Jarungjit Reisig, Wolfgang AND Schlingloff, Holger AND Wolf, Karsten },

title = { Behavioral service substitution ; analysis and synthesis },

publisher = {Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II},

keywords = { controller , refinement , Datenverarbeitung , Ansprechbarkeit , service automaton , Serviceevolution , compatibility , Bedienungsanleitung , conformance , service composition , Verklemmungsfreiheit , 28 Informatik , maximal controller , ST 230 , maximaler Kontroller , deadlock freedom , Serviceautomat , Konformität , service evolution , correctness , Service , service substitution , Verfeinerung , Serviceersetzung , operating guidelines , failure refinement , Servicekomposition , Korrektheit , responsiveness , Kompatibilität , Kontroller },

year = {2013-04-22},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }