External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Formal Description Language for the Modelling and Simulation of Timed Interaction Diagrams

L. Braga, Roberto Manione, P. Renditore. A Formal Description Language for the Modelling and Simulation of Timed Interaction Diagrams. In Reinhard Gotzhein, Jan Bredereke, editors, Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996. Volume 69 of IFIP Conference Proceedings, pages 245-260, Chapman & Hall, 1996.

Authors

L. Braga

This author has not been identified. Look up 'L. Braga' in Google

Roberto Manione

This author has not been identified. Look up 'Roberto Manione' in Google

P. Renditore

This author has not been identified. Look up 'P. Renditore' in Google
runs on