Using Genetic Algorithms and Model Checking for P Systems Automatic Design

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]

@inproceedings{TudoseLI11,
  title = {Using Genetic Algorithms and Model Checking for P Systems Automatic Design},
  author = {Cristina Tudose and Raluca Lefticaru and Florentin Ipate},
  year = {2011},
  doi = {10.1007/978-3-642-24094-2_20},
  url = {http://dx.doi.org/10.1007/978-3-642-24094-2_20},
  researchr = {https://researchr.org/publication/TudoseLI11},
  cites = {0},
  citedby = {0},
  pages = {285-302},
  booktitle = {Nature Inspired Cooperative Strategies for Optimization, NICSO 2011, Cluj-Napoca, Romania, October 20-22, 2011},
  editor = {David Alejandro Pelta and Natalio Krasnogor and Dan Dumitrescu and Camelia Chira and Rodica Ioana Lung},
  volume = {387},
  series = {Studies in Computational Intelligence},
  publisher = {Springer},
  isbn = {978-3-642-24093-5},
}