MIGUEL ANGEL
SERRANO LOPEZ
Catedrático de Universidad
University of Texas System
Austin, Estados UnidosPublications en collaboration avec des chercheurs de University of Texas System (1)
2006
-
Instantiation semantics for message sequence charts
Proceedings of the Mexican International Conference on Computer Science