![](/img/cover-not-exists.png)
Hyperdocuments as automata: verification of trace-based browsing properties by model checking
Stotts, P. David, Furuta, Richard, Cabarrus, Cyrano RuizVolume:
16
Language:
english
Journal:
ACM Transactions on Information Systems
DOI:
10.1145/267954.267955
Date:
January, 1998
File:
PDF, 463 KB
english, 1998