On the Power of Play-Out for Scenario-Based Programs (Q5187830): Difference between revisions

@@ Property / cites work @@
+Q4824478
@@ Property / cites work: Q4824478 / rank @@
+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 @@
+SYNTHESIZING STATE-BASED OBJECT SYSTEMS FROM LSC SPECIFICATIONS
+Normal rank
@@ Property / cites work @@
+Q4427918
@@ Property / cites work: Q4427918 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods in Software and Systems Modeling
@@ Property / cites work: Formal Methods in Software and Systems Modeling / rank @@
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank