Listar BWMC2016. Brainstorming Week on Membrane Computing (14th. 2016. Sevilla) por título
Mostrando ítems 27-27 de 27
-
Ponencia
Verifying P Systems with Costs by Using Priced-Timed Maude
(Fénix, 2016)We consider P systems that assigns storage costs per step to membranes, and execution costs to rules. We present an ...