Author: Cyrano Ruiz Cabarrús
Publications
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