{"_id":"RcReWXK8w98A7Fsmy","bibbaseid":"santos-soares-desouza-courtiat-designmethodologyandformalvalidationofhypermediadocuments-1998","downloads":0,"creationDate":"2017-07-16T16:26:30.318Z","title":"Design methodology and formal validation of hypermedia documents","author_short":["Santos, C.","Soares, L. F. G.","de Souza, G. L.","Courtiat, J."],"year":1998,"bibtype":"inproceedings","biburl":"http://www.telemidia.puc-rio.br/files/biblio/all.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","location":"Bristol, Reino Unido","title":"Design methodology and formal validation of hypermedia documents","series":"ACM multimedia 98","author":[{"propositions":[],"lastnames":["Santos"],"firstnames":["Celso"],"suffixes":[]},{"propositions":[],"lastnames":["Soares"],"firstnames":["Luiz","Fernando","Gomes"],"suffixes":[]},{"propositions":["de"],"lastnames":["Souza"],"firstnames":["Guido","Lemos"],"suffixes":[]},{"propositions":[],"lastnames":["Courtiat"],"firstnames":["Jean-Pierre"],"suffixes":[]}],"year":"1998","bibtex":"@inproceedings{santos_design_1998,\n\tlocation = {Bristol, Reino Unido},\n\ttitle = {Design methodology and formal validation of hypermedia documents},\n\tseries = {{ACM} multimedia 98},\n\tauthor = {Santos, Celso and Soares, Luiz Fernando Gomes and de Souza, Guido Lemos and Courtiat, Jean-Pierre},\n\tyear = {1998},\n}\n\n","author_short":["Santos, C.","Soares, L. F. G.","de Souza, G. L.","Courtiat, J."],"key":"santos_design_1998","id":"santos_design_1998","bibbaseid":"santos-soares-desouza-courtiat-designmethodologyandformalvalidationofhypermediadocuments-1998","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["design","methodology","formal","validation","hypermedia","documents","santos","soares","de souza","courtiat"],"keywords":[],"authorIDs":[],"dataSources":["gXSBTZhj3xCWydoZF"]}