@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:vecesCitado "7"; ou:tipoPublicacion "Conference Paper"; bibo:page_range "432-446"; ou:eid "2-s2.0-84879848304"; bibo:issn "1865-1348"; bibo:doi "10.1007/978-3-642-38490-5_39"; ou:urlScopus ; dcterms:contributor "Ingles-Romero J.F.; Vicente-Chicote C."; vcard:url ; bibo:isbn "9783642384899"; fabio:hasPublicationYear "2013"; vivo:identifier "2013-391"; dcterms:created "2013-01-01T00:00:00"^^xsd:dateTime; dcterms:publisher "Lecture Notes in Business Information Processing"; dcterms:title "Towards a formal approach for prototyping and verifying self-adaptive systems"; a ou:Publicacion; bibo:volume "148 LNBIP"; ou:bibtex "@article{Vicente-Chicote2013,title = {Towards a formal approach for prototyping and verifying self-adaptive systems},journal = {Lecture Notes in Business Information Processing},year = {2013},volume = {148 LNBIP},pages = {432-446},author = {Ingl{\\'e}s-Romero, J.F. and Vicente-Chicote, C.}}"; ou:urlOrcid ; dcterms:creator "Inglés-Romero J."; ou:publicadaEnRevista . ou:tienePublicacion .