direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications

Automated Composition of Timed Services by Planning as Model Checking
Citation key Stoehr12a
Author Daniel Stöhr and Sabine Glesner
Title of Book Proceedings of the 4th Central European Workshop on Services and their Composition
Year 2012
Publisher CEUR-WS.org
Link to original publication Download Bibtex entry

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe