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)
68Q60: Specification and verification (program logics, model checking, etc.)
68Q42: Grammars and rewriting systems
Related Items
Cites Work