C. A. S. Santos, Jean-Pierre Courtiat, Luiz Fernando Gomes Soares, Guido L. De Souza. Formal Specification and Verification of Hypermedia Documents based on the Nested Context Model. In 1998 MultiMedia Modeling (MMM 98), October 12-15, 1998, Lausanne, Switzerland, Proceedings. pages 21, IEEE Computer Society, 1998. [doi]
@inproceedings{SantosCSS98,
title = {Formal Specification and Verification of Hypermedia Documents based on the Nested Context Model},
author = {C. A. S. Santos and Jean-Pierre Courtiat and Luiz Fernando Gomes Soares and Guido L. De Souza},
year = {1998},
url = {http://computer.org/proceedings/mmm/8911/89110021abs.htm},
tags = {rule-based, C++, context-aware},
researchr = {https://researchr.org/publication/SantosCSS98},
cites = {0},
citedby = {0},
pages = {21},
booktitle = {1998 MultiMedia Modeling (MMM 98), October 12-15, 1998, Lausanne, Switzerland, Proceedings},
publisher = {IEEE Computer Society},
isbn = {0-8186-8911-0},
}