Publication | Open Access
Formal semantics and analysis of control flow in WS-BPEL
341
Citations
25
References
2007
Year
Formal SpecificationEngineeringFormal ModelingProgram AnalysisControl StructureVerificationFormal MethodsProcess ControlComputer ScienceFormal VerificationControl Flow
| Year | Citations | |
|---|---|---|
Page 1
Page 1