Test generation from P systems using model checking (Q987969): Difference between revisions

@@ Property / cites work @@
+NuSMV: A new symbolic model checker
@@ Property / cites work: NuSMV: A new symbolic model checker / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3505122
@@ Property / cites work: Q3505122 / rank @@
+Normal rank
@@ Property / cites work @@
+An Overview of P-Lingua 2.0
@@ Property / cites work: An Overview of P-Lingua 2.0 / rank @@
+Normal rank
@@ Property / cites work @@
+On Testing P Systems
@@ Property / cites work: On Testing P Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4210112
@@ Property / cites work: Q4210112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472251
@@ Property / cites work: Q4472251 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite state based testing of P systems
@@ Property / cites work: Finite state based testing of P systems / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Non-deterministic Stream X-machine Models and P systems
+Normal rank
@@ Property / cites work @@
+Interpolants and Symbolic Model Checking
@@ Property / cites work: Interpolants and Symbolic Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Computing with membranes
@@ Property / cites work: Computing with membranes / rank @@
+Normal rank
@@ Property / cites work @@
+Membrane computing. An introduction.
@@ Property / cites work: Membrane computing. An introduction. / rank @@
+Normal rank
@@ Property / cites work @@
+Q3406469
@@ Property / cites work: Q3406469 / rank @@
+Normal rank