Publications in collaboration with researchers from University of Texas System (1)

2006

  1. Instantiation semantics for message sequence charts

    Proceedings of the Mexican International Conference on Computer Science