Extended Simulation and Verification Platform for Kernel P Systems

Mehmet E. Bakir, Florentin Ipate, Savas Konur, Laurentiu Mierla, Ionut-Mihai Niculescu. Extended Simulation and Verification Platform for Kernel P Systems. In Marian Gheorghe, Grzegorz Rozenberg, Arto Salomaa, Petr Sosík, Claudio Zandron, editors, Membrane Computing - 15th International Conference, CMC 2014, Prague, Czech Republic, August 20-22, 2014, Revised Selected Papers. Volume 8961 of Lecture Notes in Computer Science, pages 158-178, Springer, 2014. [doi]

Authors

Mehmet E. Bakir

This author has not been identified. Look up 'Mehmet E. Bakir' in Google

Florentin Ipate

This author has not been identified. Look up 'Florentin Ipate' in Google

Savas Konur

This author has not been identified. Look up 'Savas Konur' in Google

Laurentiu Mierla

This author has not been identified. Look up 'Laurentiu Mierla' in Google

Ionut-Mihai Niculescu

This author has not been identified. Look up 'Ionut-Mihai Niculescu' in Google