MIGUEL ANGEL
SERRANO LOPEZ
Catedrático de Universidad
University of Texas System
Austin, Estados UnidosPublikationen in Zusammenarbeit mit Forschern von University of Texas System (1)
2006
-
Instantiation semantics for message sequence charts
Proceedings of the Mexican International Conference on Computer Science