Afiliat la Universitatea din Piteşti
Model Checking Kernel P Systems |
Dragomir Ciprian , Ipate Florentin , Konur Savas , Lefticaru Raluca , Mierla Laurentiu |
International Conference on Membrane Computing |
2013. Chișinău. "VALINEX" SRL. 131-152. |
Disponibil online 1 July, 2018 |
1-1 of 1