Observing timed systems by means of message sequence chart graphs.

Sebastin Blaustein, Fernando Oliveto, Vctor A. Braberman

Browse the full ICSE paper archive.