Login / Signup
Cyrano Ruiz Cabarrus
Publication Activity (10 Years)
Years Active: 1998-1998
Publications (10 Years): 0
</>
Publications
</>
P. David Stotts
,
Richard Furuta
,
Cyrano Ruiz Cabarrus
Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Checking.
ACM Trans. Inf. Syst.
16 (1) (1998)