Matthias Güdemann, Pascal Poizat, Gwen Salaün, Alexandre Dumont. VerChor: A Framework for Verifying Choreographies. In Vittorio Cortellessa, Dániel Varró, editors, Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Volume 7793 of Lecture Notes in Computer Science, pages 226-230, Springer, 2013. [doi]
@inproceedings{GudemannPSD13, title = {VerChor: A Framework for Verifying Choreographies}, author = {Matthias Güdemann and Pascal Poizat and Gwen Salaün and Alexandre Dumont}, year = {2013}, doi = {10.1007/978-3-642-37057-1_16}, url = {http://dx.doi.org/10.1007/978-3-642-37057-1_16}, researchr = {https://researchr.org/publication/GudemannPSD13}, cites = {0}, citedby = {0}, pages = {226-230}, booktitle = {Fundamental Approaches to Software Engineering - 16th International Conference, FASE 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings}, editor = {Vittorio Cortellessa and Dániel Varró}, volume = {7793}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-37056-4}, }