Login / Signup
A Parametric Communication Model for the Verification of BPEL4WS Compositions.
Raman Kazhamiakin
Marco Pistore
Published in:
EPEW/WS-FM (2005)
Keyphrases
</>
probabilistic model
computational model
domain knowledge
domain specific
model checking