Home > Research > Browse

Results for Choreography

Publications & Outputs

  1. Automated verification of proper choreography implementation

    Jansen, E., Yang, H-I. & Helal, S. 2006 2006 International Symposium on Applications and the Internet, SAINT 2006. IEEE, p. 180-189 10 p.

    Research output: Contribution in Book/Report/ProceedingsConference contribution