Skip to content

Fresh-Variable Automata: Application to Service Composition.

Walid Belkhir, Yannick Chevalier, Michal Rusinowitch

Year2013
ProceedingsSYNASC

Browse the full SYNASC paper archive.