B. Tim Denvir Coauthor index DBLP Vis pubzone.org

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

DBLP keys2002
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Cooke, B. Tim Denvir: Editorial. Formal Asp. Comput. 13(2): 93 (2002)
2000
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLB. Tim Denvir, José Nuno Oliveira, Nico Plat: The Cash-Point (ATM) `Problem'. Formal Asp. Comput. 12(4): 211-215 (2000)
1994
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice 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
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLB. 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLB. Tim Denvir: Advanced Software Technology - Development and Introduction to Practice - Response. IFIP Congress 1986: 613-616
1985
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLB. Tim Denvir, W. T. Harwood, M. I. Jackson, M. J. Wray: The Analysis of Concurrent Systems, Cambridge, September 12-16, 1983, Proceedings Springer 1985
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. 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 © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)