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
- Volume:
- 1998 Volume 16 Issue 1
- Year:
- 1998
- Venue:
- tois_journal
- Pages:
- 1–30
- URL:
- https://doi.org/10.1145/267954.267955
- DOI:
- 10.1145/267954.267955
- DBLP:
- journals/tois/StottsFC98
