@prefix config: . @prefix meta: . @prefix rdf: . @prefix rdfs: . @prefix xsd: . @prefix owl: . @prefix dc: . @prefix dcmitype: . @prefix dcterms: . @prefix foaf: . @prefix geo: . @prefix om: . @prefix locn: . @prefix schema: . @prefix skos: . @prefix dbpedia: . @prefix p: . @prefix yago: . @prefix units: . @prefix geonames: . @prefix prv: . @prefix prvTypes: . @prefix doap: . @prefix void: . @prefix ir: . @prefix ou: . @prefix teach: . @prefix time: . @prefix datex: . @prefix aiiso: . @prefix vivo: . @prefix bibo: . @prefix fabio: . @prefix vcard: . @prefix swrcfe: . @prefix frapo: . @prefix org: . @prefix ei2a: . @prefix pto: . ou:urlDialnet ; ou:tipoPublicacion "Book Chapter"; dcterms:publisher "JISBD 2001. Jornadas de ingeniería del software y bases de datos: 21 y 23 de noviembre de 2001. Almagro (Ciudad Real)"; a ou:Publicacion; ou:editorial "Universidad de Castilla-La Mancha"; dcterms:contributor "José Luis Herrero Agustín, Marisol Sánchez-Alonso"; vivo:identifier "2001-603"; bibo:isbn "8469962752"; dcterms:title "Entorno basado en el uso de técnicas formales para el desarrollo y prueba de sistemas"; bibo:page_range "189 - 203"; fabio:hasPublicationYear "2001". ou:tienePublicacion .