@inproceedings{inproceedings, title = {{An integrated model checking toolset for kernel P systems}}, publisher = {{Springer, Cham}}, url = {{http://eprints.whiterose.ac.uk/94858/ }}, year = {{2015}}, month = {{12}}, author = {{Gheorghe M and Konur S and Ipate F and Mierla L and Bakir ME and Stannett M}}, doi = {{10.1007/978-3-319-28475-0_11}}, isbn = {{9783319284743}}, volume = {{9504}}, journal = {{Membrane Computing}}, pages = {{153-170}}, note = {{Accessed on 2025/07/30}}}