Orchestration Synthesis for Real-Time Service Contracts.

Davide Basile, Maurice H. ter Beek, Axel Legay, Louis-Marie Traonouez

Browse the full VECoS paper archive.