Cyrano Ruiz Cabarrus

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1998

1 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		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