Integrating Model Information in UML Sequence Diagrams
From MaRDI portal
Publication:4921555
DOI10.1016/S1571-0661(04)00178-1zbMath1262.68131MaRDI QIDQ4921555
Publication date: 10 May 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (1)
Cites Work
This page was built for publication: Integrating Model Information in UML Sequence Diagrams