Media type: E-Article Title: VerChor: A Framework for the Design and Verification of Choreographies Contributor: Gudemann, Matthias; Poizat, Pascal; Salaun, Gwen; Ye, Lina Published: Institute of Electrical and Electronics Engineers (IEEE), 2016 Published in: IEEE Transactions on Services Computing, 9 (2016) 4, Seite 647-660 Language: Not determined DOI: 10.1109/tsc.2015.2413401 ISSN: 1939-1374 Origination: Footnote: