Login / Signup
J. Cyrano Ruiz
Publication Activity (10 Years)
Years Active: 1992-1992
Publications (10 Years): 0
</>
Publications
</>
P. David Stotts
,
Richard Furuta
,
J. Cyrano Ruiz
Hyperdocuments as Automata: Trace-Based Browsing Property Verification.
ECHT
(1992)