A formal description language for the modelling and simulation of timed interaction diagrams
Authors:
L. Braga;R. Manione;P. Renditore
Affiliations:
-;-;-
Venue:
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools