- Tytuł:
- Towards Automatic Composition of Web Services : SAT-Based Concretisation of Abstract Scenarios
- Autorzy:
-
Niewiadomski, A.
Penczek, W.
Półrola, A.
Szreter, M.
Zbrzezny, A. - Data publikacji:
- 2012
- Słowa kluczowe:
-
worlds and services
abstract planning
timed automata with discrete data - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł