Author: Cyrano Ruiz Cabarrús
Publication Overview
Publication period start: 1998
Number of co-authors: 2
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
Stotts,
P. David,
Furuta,
Richard,
Cabarrús,
Cyrano Ruiz
(1998):
Hyperdocuments as Automata: Verification of Trace-Based Browsing Properties by Model Check.
In
ACM Transactions on Information Systems,
16
(1)
pp. 1-30.
https://www.acm.org/pubs/articles/journals/tois/1998-16-1/p1-stotts/p1-stotts.pdf