dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Richard J. Linn Jr. Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1994
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDonald A. B. Lindberg, John C. Toole, Paul R. Young, John S. Cavallini, Lee B. Holcomb, Richard J. Linn Jr., George R. Cotter, Helen M. Wood, Joan H. Novak, Alexis T. Poliakoff: The High Performance Computing and Communication (HPCC) Program: technologies for the National Information Infrastructure (panel). SC 1994: 279
1992
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard J. Linn Jr., M. Ümit Uyar: Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992 North-Holland 1992
1991
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRachid Sijelmassi, Richard J. Linn Jr.: Guidelines for Using Estelle to Specify OSI Services and Protocols. Computer Networks and ISDN Systems 23(5): 343-362 (1991)
1989
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Philippe Favreau, Richard J. Linn Jr., J. Stephen Nightingale: A Formal Multi-Layer Test Methodology and its Applications to OSI. FORTE 1989: 375-392
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard J. Linn Jr.: Conformance Testing for OSI Protocols. Computer Networks and ISDN Systems 18(3): 203-219 (1989)
1988
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJean Philippe Favreau, Richard J. Linn Jr., Philip Gaudette: Application of Formal Description Techniques to Conformance Evaluation. FORTE 1988: 295-309
1986
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard J. Linn Jr.: Testing to Assure Interworking of Implementations of ISO/OSI Protocols. Computer Networks 11: 277-286 (1986)
1985
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard J. Linn Jr.: The features and facilities of ESTELLE: a formal description technique based upon an extended finite state machine model. PSTV 1985: 271-296
1984
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard J. Linn Jr.: An Evaluation of the ICST Test Architecture after Testing Class 4 Transport. PSTV 1984: 611-621
1983
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard J. Linn Jr., W. H. McCoy: Producing Tests for Implementations of OSI Protocols. Protocol Specification, Testing, and Verification 1983: 505-520
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard J. Linn Jr., J. Stephen Nightingale: Some Experience with Testing Tools for OSI Protocol Implementations. Protocol Specification, Testing, and Verification 1983: 521-531

Coauthor Index

1John S. Cavallini [11]
2George R. Cotter [11]
3Jean Philippe Favreau [6] [8]
4Philip Gaudette [6]
5Lee B. Holcomb [11]
6Donald A. B. Lindberg [11]
7W. H. McCoy [2]
8J. Stephen Nightingale [1] [8]
9Joan H. Novak [11]
10Alexis T. Poliakoff [11]
11Rachid Sijelmassi [9]
12John C. Toole [11]
13M. Ümit Uyar [10]
14Helen M. Wood [11]
15Paul R. Young [11]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page