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

Service-Oriented Computing - ICSOC 2014 Workshops - Lecture Notes in Computer Science ◽

10.1007/978-3-319-22885-3_26 ◽

2015 ◽

pp. 295-307

Author(s):

Walid Belkhir ◽

Yannick Chevalier ◽

Michael Rusinowitch

Download Full-text