Mostrar el registro sencillo del ítem

Desde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción Tableau para su aplicación en comprobación de modelos On-The-Fly/

dc.contributor.advisorCapel Tuñón, Manuel Isidoro en_US
dc.contributor.authorHornos Barranco, Miguel Juan en_US
dc.contributor.otherUniversidad de Granada. Departamento de Lenguajes y Sistemas Informáticosen_US
dc.date.accessioned2012-03-21T07:50:38Z
dc.date.available2012-03-21T07:50:38Z
dc.date.issued2012en_US
dc.date.submitted2002en_US
dc.identifierD.L.: GR 757-2012en_US
dc.identifier.isbn9788469493359en_US
dc.identifier.urihttp://hdl.handle.net/10481/19862
dc.description.sponsorshipTesis Univ. Granada. Departamento de Lenguajes y Sistemas Informáticos. Leída el 19 de diciembre de 2002.en_US
dc.format.mimetypeapplication/pdfen_US
dc.language.isospaen_US
dc.publisherGranada: Universidad de Granadaen_US
dc.rightsCreative Commons Attribution-NonCommercial-NoDerivs 3.0 Licenseen_US
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/3.0/en_US
dc.subjectConcurrencia (Ciencias de la Computación)en_US
dc.subjectSistemas de ordenadores a tiempo realen_US
dc.titleDesde especificaciones lógicas de intervalos a autómatas de propiedad: una construcción Tableau para su aplicación en comprobación de modelos On-The-Fly/en_US
dc.typeinfo:eu-repo/semantics/doctoralThesisen_US
dc.subject.udc681.3en_US
dc.subject.udc1203.11en_US
dc.subject.udc3304.17en_US
dc.subject.udc3304.11en_US
dc.subject.udc1102.04en_US
dc.subject.udc1102.09en_US
europeana.typeTEXTen_US
europeana.dataProviderUniversidad de Granada. España.en_US
europeana.rightshttp://creativecommons.org/licenses/by-nc-nd/3.0/en_US
dc.rights.accessRightsinfo:eu-repo/semantics/openAccessen_US


Ficheros en el ítem

[PDF]
Nombre:
20156881.pdf
Tamaño:
1.407Mb
Formato:
PDF

Este ítem aparece en la(s) siguiente(s) colección(ones)

  • Tesis
    Tesis leídas en la Universidad de Granada

Mostrar el registro sencillo del ítem

Creative Commons Attribution-NonCommercial-NoDerivs 3.0 License
Excepto si se señala otra cosa, la licencia del ítem se describe como Creative Commons Attribution-NonCommercial-NoDerivs 3.0 License