OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Belkhir, Walid"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Article

Belkhir, Walid and Chevalier, Yannick and Rusinowitch, Michaël. Parametrized automata simulation and application to service composition. (2015) Journal of Symbolic Computation, 69. 40-60. ISSN 0747-7171

Conference or Workshop Item

Jha, Tushant and Belkhir, Walid and Chevalier, Yannick and Rusinowitch, Michaël. Expressive Equivalence and Succinctness of Parametrized Automata with Respect to Finite Memory Automata. (2016) In: International Conference on Service Oriented Computing (ICSOC 2015), 16 November 2015 - 19 November 2015 (Goa, India).

This list was generated on Fri Aug 14 04:09:11 2020 CEST.