Checking Correctness of Services Modeled as Priced Timed Automata.

Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson

Browse the full ISoLA paper archive.