|
СТ |
Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking |
1998 |
Stotts P. D., Furuta R., Cabarrus C. R. |
|
|
|
ACM Trans. on Information Systems |
14.05.1998 |
|
СТ |
Dynamic Hyperdocuments: Authoring Replaces Programming |
1995 |
Furuta R., Stotts D. |
|
|
|
Communications of the ACM |
05.09.1995 |
|
СТ |
Document Formatting Systems: Survey, Concept, and Issues |
1982 |
Furuta R., Scofield J., Shaw A. |
|
|
|
ACM Computing Surveys |
07.06.1993 |
|
П |
Hyperdocuments as Automata: Trace-based Browsing Property Verification |
1992 |
Stotts P. D., Furuta R., Ruiz J. C. |
|
|
Univ.North Carolina at Chapel Hill |
|
14.03.1993 |
