direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

Automated Composition of Timed Services by Planning as Model Checking
Zitatschlüssel Stoehr12a
Autor Daniel Stöhr and Sabine Glesner
Buchtitel Proceedings of the 4th Central European Workshop on Services and their Composition
Jahr 2012
Verlag CEUR-WS.org
Link zur Originalpublikation Download Bibtex Eintrag

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe