Modal transition system encoding of featured transition systems (Q2423766): Difference between revisions

@@ Property / describes a project that uses @@
+Motras
@@ Property / describes a project that uses: Motras / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sat4j
@@ Property / describes a project that uses: Sat4j / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VMC
@@ Property / describes a project that uses: VMC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MSTA
@@ Property / describes a project that uses: MSTA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MIO Workbench
@@ Property / describes a project that uses: MIO Workbench / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2924803411
@@ Property / OpenAlex ID: W2924803411 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999206
@@ Property / cites work: Q3999206 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal I/O Automata for Interface and Product Line Theories
+Normal rank
@@ Property / cites work @@
+Comparing disjunctive modal transition systems with an one-selecting variant
+Normal rank
@@ Property / cites work @@
+Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
+Normal rank
@@ Property / cites work @@
+Comparative expressiveness of product line calculus of communicating systems and 1-selecting modal transition systems
+Normal rank
@@ Property / cites work @@
+MoTraS: A Tool for Modal Transition Systems and Their Extensions
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric Modal Transition Systems
@@ Property / cites work: Parametric Modal Transition Systems / rank @@
+Normal rank
@@ Property / cites work @@
+On Refinements of Boolean and Parametric Modal Transition Systems
+Normal rank
@@ Property / cites work @@
+Multi-valued model checking games
@@ Property / cites work: Multi-valued model checking games / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128198749
@@ Property / Wikidata QID: Q128198749 / rank @@
+Normal rank