Conflict Analysis for Timed Contract Automata.

Shaun Azzopardi, Gordon J. Pace

Browse the full JURIX paper archive.