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 Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice

Mass Soldal Lund, Ketil Stølen. A Fully General Operational Semantics for UML 2.0 Sequence Diagrams with Potential and Mandatory Choice. In Jayadev Misra, Tobias Nipkow, Emil Sekerinski, editors, FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings. Volume 4085 of Lecture Notes in Computer Science, pages 380-395, Springer, 2006. [doi]

Authors

Mass Soldal Lund

This author has not been identified. Look up 'Mass Soldal Lund' in Google

Ketil Stølen

This author has not been identified. Look up 'Ketil Stølen' in Google
runs on