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

M. T. Norris (Selection)

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

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLS. Patel, R. A. Orr, M. T. Norris, David W. Bustard: Tools to Support Formal Methods. ICSE 1989: 123-132
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid W. Bustard, Adam C. Winstanley, M. T. Norris, R. A. Orr, S. Patel: Graphical Views of Process-Orientated Specifications. FORTE 1988: 143-156
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. A. Orr, M. T. Norris, R. Tinker, C. D. V. Rouch: Tools for Real-Time System Design. ICSE 1988: 130-140

Selection of 4 from 6 records - M. T. Norris has 9 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page