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

B. Tim Denvir Vis

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

*2002
7EEJohn Cooke, B. Tim Denvir: Editorial. Formal Asp. Comput. 13(2): 93 (2002)
2000
6EEB. Tim Denvir, José Nuno Oliveira, Nico Plat: The Cash-Point (ATM) `Problem'. Formal Asp. Comput. 12(4): 211-215 (2000)
1994
5 Maurice Naftalin, B. Tim Denvir, Miquel Bertran: FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings Springer 1994
1992
4 B. Tim Denvir, Ros Herman, R. W. Whitty: Formal Aspects of Measurement, Proceedings of the BCS-FACS Workshop on Formal Aspects of Measurement, South Bank University, London, 5 May 1991 Springer 1992
1986
3 B. Tim Denvir: Advanced Software Technology - Development and Introduction to Practice - Response. IFIP Congress 1986: 613-616
1985
2 B. Tim Denvir, W. T. Harwood, M. I. Jackson, M. J. Wray: The Analysis of Concurrent Systems, Cambridge, September 12-16, 1983, Proceedings Springer 1985
1EEM. I. Jackson, B. Tim Denvir, R. C. Shaw: Experience of Introducing the Vienna Development Method into an Industrial Organization. TAPSOFT, Vol.2 1985: 410-422

Coauthor Index

1Miquel Bertran [5]
2John Cooke [7]
3W. T. Harwood [2]
4Ros Herman [4]
5M. I. Jackson [1] [2]
6Maurice Naftalin [5]
7José Nuno Oliveira [6]
8Nico Plat [6]
9R. C. Shaw [1]
10Robin W. Whitty (R. W. Whitty) [4]
11M. J. Wray [2]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)