TY  - CONF

T1  - An integrated model checking toolset for kernel P systems

JO  - Membrane Computing

UR  - http://eprints.whiterose.ac.uk/94858/

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, Cham

SN  - 9783319284743

VL  - 9504

SP  - 153

EP  - 170

Y2  - 2024/12/23

ER  -