Publicacions en col·laboració amb investigadors/es de University of Texas System (1)

2006

  1. Instantiation semantics for message sequence charts

    Proceedings of the Mexican International Conference on Computer Science