P. David Stotts, Richard Furuta, Cyrano Ruiz Cabarrus. Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking. ACM Trans. Inf. Syst., 16(1):1-30, 1998. [doi]
@article{StottsFC98,
title = {Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking},
author = {P. David Stotts and Richard Furuta and Cyrano Ruiz Cabarrus},
year = {1998},
doi = {10.1145/267954.267955},
url = {http://doi.acm.org/10.1145/267954.267955},
tags = {rule-based, model checking, meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/StottsFC98},
cites = {0},
citedby = {0},
journal = {ACM Trans. Inf. Syst.},
volume = {16},
number = {1},
pages = {1-30},
}