ObsSlice: A Timed Automata Slicer Based on Observers.

Vctor A. Braberman, Diego Garbervetsky, Alfredo Olivero

Browse the full CAV paper archive.