|
Search the dblp DataBase
R. A. Orr:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- David W. Bustard, Adam C. Winstanley, M. T. Norris, R. A. Orr, S. Patel
Graphical Views of Process-Orientated Specifications. [Citation Graph (0, 0)][DBLP] FORTE, 1988, pp:143-156 [Conf]
- R. A. Orr, M. T. Norris, R. Tinker, C. D. V. Rouch
Tools for Real-Time System Design. [Citation Graph (0, 0)][DBLP] ICSE, 1988, pp:130-140 [Conf]
- S. Patel, R. A. Orr, M. T. Norris, David W. Bustard
Tools to Support Formal Methods. [Citation Graph (0, 0)][DBLP] ICSE, 1989, pp:123-132 [Conf]
- David W. Bustard, M. T. Norris, R. A. Orr, Adam C. Winstanley
An Exercise in Formalizing the Description of a Concurrent System. [Citation Graph (0, 0)][DBLP] Softw., Pract. Exper., 1992, v:22, n:12, pp:1069-1098 [Journal]
Search in 0.001secs, Finished in 0.001secs
|