Main » TOIS » 1998 » 1998 Volume 16 Issue 1 »

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
BibTeX:
Download