Cyrano Ruiz Cabarrus

List of publications from the DBLP Bibliography Server - FAQ

1998

1 EE 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): 1-30 (1998)

1998
1	EE	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): 1-30 (1998)

Coauthor Index