Author:
Dragomir Ciprian,Ipate Florentin,Konur Savas,Lefticaru Raluca,Mierla Laurentiu
Publisher
Springer Berlin Heidelberg
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards a general methodology for formal verification on spiking neural P systems;Theoretical Computer Science;2024-10
2. Lattice Based Communication P Systems;Journal of Advanced Computational Intelligence and Intelligent Informatics;2023-11-20
3. Verifiable biology;Journal of The Royal Society Interface;2023-05
4. Infobiotics Workbench: An In Silico Software Suite for Computational Systems Biology;Membrane Computing Models: Implementations;2021
5. Search-based testing in membrane computing;Journal of Membrane Computing;2019-12