An EXPTIME Algorithm for Data-Aware Service Simulation Using Parametrized Automata
['Walid Belkhir', 'Yannick Chevalier', 'Michaël Rusinowitch']
An EXPTIME Algorithm for Data-Aware Service Simulation Using Parametrized Automata