Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios - MaRDI portal

Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios

From MaRDI portal

Publication:4902305

Jump to:navigation, search

DOI10.3233/FI-2012-756zbMath1254.68051OpenAlexW1817281976MaRDI QIDQ4902305

Andrzej Zbrzezny, MacIej Szreter, Agata Półrola, Wojciech Penczek, Artur Niewiadomski

Publication date: 14 January 2013

Full work available at URL: https://content.iospress.com/articles/fundamenta-informaticae/fi120-2-04

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60) Internet topics (68M11)

This page was built for publication: Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4902305&oldid=19289136"