IBN
Închide

Dragomir Ciprian

Publicaţii la conferinţe din RM - 1, Descărcări - 1, Vizualizări - 670
XLS PDF DOC
ISO 690-2012

2013 - 1

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
-----------------------------------------------------------------------------------------------------------------------------------
1 - 1 of 1