Model Checking Kernel P Systems Ciprian Dragomir1 Florentin Ipate2,3 Savas Konur1 Raluca Lefticaru2,3 Laurent¸iu Mierla˘3 1University of Sheffield 2University of Bucharest…
