Flavio Lerda. Model Checking Programs (0)

by Willem Visser, Klaus Havelund, Guillaume Brat, SeungJoon Park
Venue:2003. Matthias Weidlich, Gero Decker, and Mathias Weske. Efficient Analysis of BPEL 2.0 Processes