Cyrano Ruiz Cabarrús

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1998
Publication period end
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. http://www.acm.org/pubs/articles/journals/tois/1998-16-1/p1-stotts/p1-stotts.pdf