Cyrano Ruiz Cabarrus

1998

doi dblp
Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking.
P. David Stotts|Richard Furuta|Cyrano Ruiz Cabarrus
ACM Transactions on Information Systems (TOIS) 1998 Volume 16 Issue 1