Publicaţii la conferinţe din RM - 1.
- 5. Publicaţii la manifestări din RM
- 5.3.Publicații la alte manifestări din RM - 1
Model Checking Kernel P Systems |
Dragomir Ciprian12 , Ipate Florentin13 , Konur Savas2 , Lefticaru Raluca31 , Mierla Laurentiu1 |
1 University of Pitesti, 2 University of Sheffield, 3 University of Bucharest |
International Conference on Membrane Computing |
2013. Chișinău. ISBN 978-9975-4237-2-4. |
Disponibil online 1 July, 2018. Descarcări-1. Vizualizări-627 |