@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 2024/12/23}}}