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.

Performance Modelling with the Formal Specification Language SDL

M. Bütow, Mark Mestern, C. Schapiro, Pieter S. Kritzinger. Performance Modelling with the Formal Specification Language SDL. 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 213-228, Chapman & Hall, 1996.

Abstract

Abstract is missing.

runs on