Formal Techniques for Analysing Scenarios using Message Sequence Charts (Q2841314): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques for Analysing Scenarios using Message Sequence Charts
+Normal rank
@@ Property / cites work @@
+LSCs: Breathing life into message sequence charts
@@ Property / cites work: LSCs: Breathing life into message sequence charts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023995
@@ Property / cites work: Q4023995 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2841314