Aissam Belghiat, Allaoua Chaoui. A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams. In Pascal Lorenz, Marten van Sinderen, Jorge Cardoso, editors, ICSOFT-PT 2015 - Proceedings of the 10th International Conference on Software Paradigm Trends, Colmar, Alsace, France, 20-22 July, 2015. pages 87-94, SciTePress, 2015. [doi]
@inproceedings{BelghiatC15,
title = {A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams},
author = {Aissam Belghiat and Allaoua Chaoui},
year = {2015},
doi = {10.5220/0005517900870094},
url = {http://dx.doi.org/10.5220/0005517900870094},
researchr = {https://researchr.org/publication/BelghiatC15},
cites = {0},
citedby = {0},
pages = {87-94},
booktitle = {ICSOFT-PT 2015 - Proceedings of the 10th International Conference on Software Paradigm Trends, Colmar, Alsace, France, 20-22 July, 2015},
editor = {Pascal Lorenz and Marten van Sinderen and Jorge Cardoso},
publisher = {SciTePress},
isbn = {978-989-758-115-1},
}