Dragomir Ciprian
Publicaţii la conferinţe din RM - 1, Descărcări - 1, Vizualizări - 670
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. Descarcări-1. Vizualizări-670 |