An EXPTIME Algorithm for Data-Aware Service Simulation Using Parametrized Automata.

Walid Belkhir, Yannick Chevalier, Michal Rusinowitch

Browse the full ICSOC paper archive.