Choreography conformace checking based on process algebras
Actas:
CLOSER 2013 - Proceedings of the 3rd International Conference on Cloud Computing and Services Science
ISBN: 9789898565525
Año de publicación: 2013
Páginas: 135-139
Tipo: Aportación congreso