{"version.version":"0.0.7","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/None.html","spt.description":null,"spt.id":null,"spt.wikidataid":null,"spt.title":"A Framework for Semantic Checking of Information Systems","spt.pdfUrl":"https://ceur-ws.org/Vol-915/paper_11.pdf","spt.volume":{"number":915,"acronym":"INVIT 2012","wikidataid":"Q113545150","title":"Proceedings of the Fifth Interop-Vlab.It Workshop on Complexity of Systems, Complexity of Interoperability","description":"Proceedings of INVIT 2012 workshop","url":"http://ceur-ws.org/Vol-915/","date":"2012-10-04","dblp":"conf/invit/2012","k10plus":"72936691X","urn":"urn:nbn:de:0074-915-7"},"spt.session":null,"cvb.id":null,"cvb.title":"A Framework for Semantic Checking of Information Systems","cvb.type":null,"cvb.position":null,"cvb.pagesFrom":null,"cvb.pagesTo":null,"cvb.authors":"","cvb.vol_number":"915","cvb.pdf_name":"paper_11.pdf","cvb.pages":"88-91","cvb.fail":null,"dblp.dblp_publication_id":"https://dblp.org/rec/conf/invit/AlvesSSJ12","dblp.dblp_proceeding_id":"https://dblp.org/rec/conf/invit/2012","dblp.volume_number":915,"dblp.title":"A Framework for Semantic Checking of Information Systems.","dblp.authors":[{"dblp_author_id":"https://dblp.org/pid/04/8292","label":"João Sarraipa","wikidata_id":null,"orcid_id":null,"gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/123/8039","label":"João Pedro Mendonça 0001","wikidata_id":null,"orcid_id":"0000-0003-1380-3374","gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/216/4870","label":"Gonçalo Alves","wikidata_id":null,"orcid_id":null,"gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/94/1784","label":"Ricardo Jardim-Gonçalves","wikidata_id":"Q59160374","orcid_id":"0000-0002-3703-6854","gnd_id":null}],"dblp.pdf_id":"Vol-915/paper_11"}