An Alternative Definition for Timed Automata Composition.

Jean-Paul Bodeveix, Abdeldjalil Boudjadar, Mamoun Filali

Browse the full ATVA paper archive.