Kernel P systems: from modelling to verification and testing (Q2413314): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2017.12.010
@@ Property / DOI: 10.1016/j.tcs.2017.12.010 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2625132461
@@ Property / OpenAlex ID: W2625132461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4437089
@@ Property / cites work: Q4437089 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955252
@@ Property / cites work: Q4955252 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal cover-automata for finite languages
@@ Property / cites work: Minimal cover-automata for finite languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4413824
@@ Property / cites work: Q4413824 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulating the Bitonic Sort Using P Systems
@@ Property / cites work: Simulating the Bitonic Sort Using P Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3406469
@@ Property / cites work: Q3406469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3601854
@@ Property / cites work: Q3601854 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing Software Design Modeled by Finite-State Machines
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Model Checking Kernel P Systems
@@ Property / cites work: Model Checking Kernel P Systems / rank @@
+Normal rank
@@ Property / cites work @@
+On Testing P Systems
@@ Property / cites work: On Testing P Systems / rank @@
+Normal rank
@@ Property / cites work @@
+-Col problem modelling using simple kernel P systems
+Normal rank
@@ Property / cites work @@
+An Integrated Model Checking Toolset for Kernel P Systems
+Normal rank
@@ Property / cites work @@
+RESEARCH FRONTIERS OF MEMBRANE COMPUTING: OPEN PROBLEMS AND RESEARCH TOPICS
+Normal rank
@@ Property / cites work @@
+Bounded sequence testing from deterministic finite state machines
+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 @@
+Q4418606
@@ Property / cites work: Q4418606 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Classes of Generalised Communicating P Systems and Simple Kernel P Systems
+Normal rank
@@ Property / cites work @@
+A P_Lingua Based Simulator for P Systems with Symport/Antiport Rules
+Normal rank
@@ Property / cites work @@
+Recent complexity-theoretic results on P systems with active membranes
+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 @@
+Q5201252
@@ Property / cites work: Q5201252 / rank @@
+Normal rank
@@ Property / cites work @@
+Polarizationless P Systems with Active Membranes: Computational Complexity Aspects
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2017.12.010
@@ Property / DOI: 10.1016/J.TCS.2017.12.010 / rank @@
+Normal rank