Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

Jorge Roa
Universidad Tecnológica Nacional, Argentina

J. Roa, P. Villarreal, O. Chiotti:
Behavior Alignment and Control Flow Verification of Process and Service Choreographies
/jucs_18_17/behavior_alignment_and_control
page 2383 - 2406
Vol.18 / Issue 17