Timed service contract automata

Davide Basile, Maurice H. ter Beek, Axel Legay. Timed service contract automata. ISSE, 16(2):199-214, 2020. [doi]

Authors

Davide Basile

This author has not been identified. Look up 'Davide Basile' in Google

Maurice H. ter Beek

This author has not been identified. Look up 'Maurice H. ter Beek' in Google

Axel Legay

This author has not been identified. Look up 'Axel Legay' in Google