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

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-11512-7_13
+Normal rank
@@ Property / OpenAlex ID @@
+W1570120539
@@ Property / OpenAlex ID: W1570120539 / rank @@
+Normal rank
@@ 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