Publicaciones en colaboración con investigadores/as de University of Texas System (1)

2006

  1. Instantiation semantics for message sequence charts

    Proceedings of the Mexican International Conference on Computer Science