O. Catrina

1998
3		O. Catrina, A. Nogai: On the Improvement of Estelle Based Automatic Implementations. FORTE 1998: 371-386
1996
2	EE	J. William Atwood, O. Catrina, J. Fenton, W. Timothy Strayer: Reliable Multicasting in the Xpress Transport Protocol. LCN 1996: 202-211
1995
1		O. Catrina: Protocol analysis and verification methods, application to the Xpress Transfer protocol 4.0. PSTV 1995: 385-400

Coauthor Index

1	J. William Atwood	[2]
2	J. Fenton	[2]
3	A. Nogai	[3]
4	W. Timothy Strayer	[2]

Colors in the list of coauthors