Checking realizability of a timed business processes choreography
Actas:
CLOSER 2017 - Proceedings of the 7th International Conference on Cloud Computing and Services Science
ISBN: 9789897582431
Año de publicación: 2017
Páginas: 413-420
Tipo: Aportación congreso