Structured dynamic behavior in hypertext

Authors:
Richard Furuta;P. David Stotts
Affiliations:
-;-
Venue:
Structured dynamic behavior in hypertext
Year:
1991

Citing 0
Cited 2

Hyperdocuments as automata: trace-based browsing property verification

ECHT '92 Proceedings of the ACM conference on Hypertext
Hyperdocuments as automata: verification of trace-based browsing properties by model checking

ACM Transactions on Information Systems (TOIS)

Quantified Score

Hi-index	0.01

Visualization

Abstract