A talk I gave for the exam Computing models and computational complexity held by prof. G. Mauri, Università degli Studi di Milano-Bicocca, Italy, 26 February 2009
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…