TY  - CONF

T1  - An integrated model checking toolset for kernel P systems

JO  - Lecture Notes in Computer Science

UR  - https://eprints.whiterose.ac.uk/id/eprint/94858

UR  - http://dx.doi.org/10.1007/978-3-319-28475-0_11

PY  - 2015/12/30

AU  - Gheorghe M

AU  - Konur S

AU  - Ipate F

AU  - Mierla L

AU  - Bakir ME

AU  - Stannett M

ED  - 

DO  - DOI: 10.1007/978-3-319-28475-0_11

PB  - Springer

SN  - 9783319284743

VL  - 9504

SP  - 153

EP  - 170

Y2  - 2025/11/29

ER  -