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

R. A. Orr

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1992
4 David W. Bustard, M. T. Norris, R. A. Orr, Adam C. Winstanley: An Exercise in Formalizing the Description of a Concurrent System. Softw., Pract. Exper. 22(12): 1069-1098 (1992)
1989
3 S. Patel, R. A. Orr, M. T. Norris, David W. Bustard: Tools to Support Formal Methods. ICSE 1989: 123-132
1988
2 David W. Bustard, Adam C. Winstanley, M. T. Norris, R. A. Orr, S. Patel: Graphical Views of Process-Orientated Specifications. FORTE 1988: 143-156
1 R. A. Orr, M. T. Norris, R. Tinker, C. D. V. Rouch: Tools for Real-Time System Design. ICSE 1988: 130-140

Coauthor Index

1David W. Bustard [2] [3] [4]
2M. T. Norris [1] [2] [3] [4]
3S. Patel [2] [3]
4C. D. V. Rouch [1]
5R. Tinker [1]
6Adam C. Winstanley [2] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)