Existential live sequence charts revisited.

German E. Sibay, Sebastin Uchitel, Vctor A. Braberman

Browse the full ICSE paper archive.