@inproceedings{santos_formal_1998,
	location = {Lausanne, Switzerland},
	title = {Formal specification and verification of hypermedia documents based on the nested context model},
	series = {V multimedia modeling conference - {MMM}98},
	author = {Santos, Celso and Courtiat, Jean-Pierre and Soares, Luiz Fernando Gomes and de Souza, Guido Lemos},
	year = {1998},
}

{"_id":"TrRG2MtFJs3TpBs3j","bibbaseid":"santos-courtiat-soares-desouza-formalspecificationandverificationofhypermediadocumentsbasedonthenestedcontextmodel-1998","downloads":0,"creationDate":"2017-07-16T16:26:30.321Z","title":"Formal specification and verification of hypermedia documents based on the nested context model","author_short":["Santos, C.","Courtiat, J.","Soares, L. F. G.","de Souza, G. L."],"year":1998,"bibtype":"inproceedings","biburl":"http://www.telemidia.puc-rio.br/files/biblio/all.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","location":"Lausanne, Switzerland","title":"Formal specification and verification of hypermedia documents based on the nested context model","series":"V multimedia modeling conference - MMM98","author":[{"propositions":[],"lastnames":["Santos"],"firstnames":["Celso"],"suffixes":[]},{"propositions":[],"lastnames":["Courtiat"],"firstnames":["Jean-Pierre"],"suffixes":[]},{"propositions":[],"lastnames":["Soares"],"firstnames":["Luiz","Fernando","Gomes"],"suffixes":[]},{"propositions":["de"],"lastnames":["Souza"],"firstnames":["Guido","Lemos"],"suffixes":[]}],"year":"1998","bibtex":"@inproceedings{santos_formal_1998,\n\tlocation = {Lausanne, Switzerland},\n\ttitle = {Formal specification and verification of hypermedia documents based on the nested context model},\n\tseries = {V multimedia modeling conference - {MMM}98},\n\tauthor = {Santos, Celso and Courtiat, Jean-Pierre and Soares, Luiz Fernando Gomes and de Souza, Guido Lemos},\n\tyear = {1998},\n}\n\n","author_short":["Santos, C.","Courtiat, J.","Soares, L. F. G.","de Souza, G. L."],"key":"santos_formal_1998","id":"santos_formal_1998","bibbaseid":"santos-courtiat-soares-desouza-formalspecificationandverificationofhypermediadocumentsbasedonthenestedcontextmodel-1998","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"search_terms":["formal","specification","verification","hypermedia","documents","based","nested","context","model","santos","courtiat","soares","de souza"],"keywords":[],"authorIDs":[],"dataSources":["gXSBTZhj3xCWydoZF"]}