Timed Contract Automata.

Bernhard Beckert, Andreas Bremer, Alexander Weigl

Browse the full FASE paper archive.