Towards the Coordination and Verification of Heterogeneous Systems with Data and Time.

Tim Kruter, Adrian Rutle, Yngve Lamo, Harald Knig, Francisco Durn

Browse the full MODELS paper archive.