Cristina Tudose, Raluca Lefticaru, Florentin Ipate. Using Genetic Algorithms and Model Checking for P Systems Automatic Design. In David Alejandro Pelta, Natalio Krasnogor, Dan Dumitrescu, Camelia Chira, Rodica Ioana Lung, editors, Nature Inspired Cooperative Strategies for Optimization, NICSO 2011, Cluj-Napoca, Romania, October 20-22, 2011. Volume 387 of Studies in Computational Intelligence, pages 285-302, Springer, 2011. [doi]
Abstract is missing.