Vol-846⫷ Vol-847 ⫸Vol-848
urn:nbn:de:0074-847-0


None⫷None⫸None
Sabine GlesnerDaniel Stöhr

Automated Composition of Timed Services by Planning as Model Checking