{"_id":"hxQeG2svsn8WHx6Js","bibbaseid":"santos-courtiat-desouza-soares-ummodeloformalparaaverificaodaconsistnciadedocumentoshipermdiancm-1998","downloads":0,"creationDate":"2017-07-16T16:26:29.868Z","title":"Um modelo formal para a verificação da consistência de documentos hipermídia NCM","author_short":["Santos, C.","Courtiat, J.","de Souza, G. L.","Soares, L. F. G."],"year":1998,"bibtype":"inproceedings","biburl":"http://www.telemidia.puc-rio.br/files/biblio/all.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","location":"Rio de Janeiro, Brasil","title":"Um modelo formal para a verificação da consistência de documentos hipermídia NCM","series":"IV simpósio brasileiro de sistemas multimídia e hipermídia - SBMídia98","author":[{"propositions":[],"lastnames":["Santos"],"firstnames":["Celso"],"suffixes":[]},{"propositions":[],"lastnames":["Courtiat"],"firstnames":["Jean-Pierre"],"suffixes":[]},{"propositions":["de"],"lastnames":["Souza"],"firstnames":["Guido","Lemos"],"suffixes":[]},{"propositions":[],"lastnames":["Soares"],"firstnames":["Luiz","Fernando","Gomes"],"suffixes":[]}],"year":"1998","bibtex":"@inproceedings{santos_um_1998,\n\tlocation = {Rio de Janeiro, Brasil},\n\ttitle = {Um modelo formal para a verificação da consistência de documentos hipermídia {NCM}},\n\tseries = {{IV} simpósio brasileiro de sistemas multimídia e hipermídia - {SBMídia}98},\n\tauthor = {Santos, Celso and Courtiat, Jean-Pierre and de Souza, Guido Lemos and Soares, Luiz Fernando Gomes},\n\tyear = {1998},\n}\n\n","author_short":["Santos, C.","Courtiat, J.","de Souza, G. L.","Soares, L. F. G."],"key":"santos_um_1998","id":"santos_um_1998","bibbaseid":"santos-courtiat-desouza-soares-ummodeloformalparaaverificaodaconsistnciadedocumentoshipermdiancm-1998","role":"author","urls":{},"metadata":{"authorlinks":{}}},"search_terms":["modelo","formal","para","verifica","consist","ncia","documentos","hiperm","dia","ncm","santos","courtiat","de souza","soares"],"keywords":[],"authorIDs":[],"dataSources":["gXSBTZhj3xCWydoZF"]}