Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking.
P. David Stotts|Richard Furuta|Cyrano Ruiz Cabarrus
| Anthology ID: | DBLP:journals/tois/StottsFC98 |
|---|---|
| Year: | 1998 |
| Venue: | ACM Transactions on Information Systems (TOIS) |
| Pages: | 1-30 |
| URL: | https://doi.org/10.1145/267954.267955 |
| DOI: | https://doi.org/10.1145/267954.267955 |
| DBLP: | journals/tois/StottsFC98 |
| BibTeX: |
@article{stotts-1998-hyperdocuments,
author = {P. David Stotts and
Richard Furuta and
Cyrano Ruiz Cabarrus},
title = {{Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking}},
journal = {ACM Transactions on Information Systems (TOIS)},
volume = {16},
number = {1},
pages = {1--30},
year = {1998},
url = {https://doi.org/10.1145/267954.267955},
doi = {https://doi.org/10.1145/267954.267955}
}