@inproceedings{inproceedings, title  = {{An integrated model checking toolset for kernel P systems}},

 publisher = {{Springer}},

 url = {{https://eprints.whiterose.ac.uk/id/eprint/94858 http://dx.doi.org/10.1007/978-3-319-28475-0_11 }},

 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 = {{Lecture Notes in Computer Science}},

 pages = {{153-170}},

 note = {{Accessed on 2025/11/29}}}