- idUS
- Jornadas y Congresos US
- Informática
- BWMC2011. Brainstorming Week On Membrane Computing (9th. 2011. Sevilla)
- Listar BWMC2011. Brainstorming Week On Membrane Computing (9th. 2011. Sevilla) por autor
Listar BWMC2011. Brainstorming Week On Membrane Computing (9th. 2011. Sevilla) por autor "Lefticaru, Raluca"
Mostrando ítems 1-1 de 1
-
Ponencia
Towards Automated Verification of P Systems Using Spin
Lefticaru, Raluca; Tudose, Cristina; Ipate, Florentin (Fénix Editora, 2011)This paper presents an approach to P systems verification using the Spin model checker. A tool which implements the ...