Simulation and Verification in a Process Calculus for Spatially-Explicit

dc.contributorUniversidad EAFIT. Departamento de Ingeniería de Sistemas
dc.contributorI+D+I en Tecnologías de la Información y las Comunicaciones
dc.creatorTORO, MAURICIO
dc.creatorTORO, MAURICIO
dc.date.accessioned2021-04-12T20:55:52Z
dc.date.accessioned2022-09-23T22:06:39Z
dc.date.available2021-04-12T20:55:52Z
dc.date.available2022-09-23T22:06:39Z
dc.date.created2021-04-12T20:55:52Z
dc.date.issued2014-06-01
dc.identifier18438121
dc.identifier22482695
dc.identifierhttp://hdl.handle.net/10784/28689
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/3539433
dc.languageeng
dc.publisherAlexandru Ioan Cuza University of Iasi
dc.rightshttps://v2.sherpa.ac.uk/id/publication/issn/1843-8121
dc.sourceScientific Annals Of Computer Science
dc.titleSimulation and Verification in a Process Calculus for Spatially-Explicit
dc.typeinfo:eu-repo/semantics/article
dc.typearticle
dc.typeinfo:eu-repo/semantics/publishedVersion
dc.typepublishedVersion


Este ítem pertenece a la siguiente institución