![](/img/cover-not-exists.png)
Automatic dynamic generation of likely invariants for WS-BPEL compositions
Palomo-Duarte, Manuel, García-Domínguez, Antonio, Medina-Bulo, InmaculadaVolume:
41
Language:
english
Journal:
Expert Systems with Applications
DOI:
10.1016/j.eswa.2014.01.037
Date:
September, 2014
File:
PDF, 1.65 MB
english, 2014