<rdf:RDF xmlns:rdf="http://www.openarchives.org/OAI/2.0/rdf/" xmlns:ow="http://www.ontoweb.org/ontology/1#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:ds="http://dspace.org/ds/elements/1.1/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:doc="http://www.lyncode.com/xoai" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/rdf/ http://www.openarchives.org/OAI/2.0/rdf.xsd">
   <ow:Publication rdf:about="oai:digibug.ugr.es:10481/19862">
      <dc:title>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:title>
      <dc:creator>Hornos Barranco, Miguel Juan</dc:creator>
      <dc:contributor>Capel Tuñón, Manuel Isidoro</dc:contributor>
      <dc:contributor>Universidad de Granada. Departamento de Lenguajes y Sistemas Informáticos</dc:contributor>
      <dc:subject>Concurrencia (Ciencias de la Computación)</dc:subject>
      <dc:subject>Sistemas de ordenadores a tiempo real</dc:subject>
      <dc:date>2012-03-21T07:50:38Z</dc:date>
      <dc:date>2012-03-21T07:50:38Z</dc:date>
      <dc:date>2012</dc:date>
      <dc:date>2002</dc:date>
      <dc:type>info:eu-repo/semantics/doctoralThesis</dc:type>
      <dc:identifier>9788469493359</dc:identifier>
      <dc:identifier>http://hdl.handle.net/10481/19862</dc:identifier>
      <dc:language>spa</dc:language>
      <dc:rights>http://creativecommons.org/licenses/by-nc-nd/3.0/</dc:rights>
      <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
      <dc:rights>Creative Commons Attribution-NonCommercial-NoDerivs 3.0 License</dc:rights>
      <dc:publisher>Granada: Universidad de Granada</dc:publisher>
   </ow:Publication>
</rdf:RDF>