Cliff B. Jones

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Michael J. Butler

> Home > Persons > Cliff B. Jones

Publications

2009
[e14]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/5454
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/5454
Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna:
Methods, Models and Tools for Fault Tolerance. Lecture Notes in Computer Science 5454, Springer 2009, ISBN 978-3-642-00866-5 [contents]
2006
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/gpce/LeavensABBCFHJMJSSS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gpce/LeavensABBCFHJMJSSS06
Gary T. Leavens, Jean-Raymond Abrial, Don S. Batory, Michael J. Butler, Alessandro Coglio, Kathi Fisler, Eric C. R. Hehner, Cliff B. Jones, Dale Miller, Simon L. Peyton Jones, Murali Sitaraman, Douglas R. Smith, Aaron Stump:
Roadmap for enhanced languages and methods to aid verification. GPCE 2006: 221-236
[e10]
- view
  authority control:
- export record
  dblp key:
  - conf/rodin/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rodin/2006
Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna:
Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project]. Lecture Notes in Computer Science 4157, Springer 2006, ISBN 3-540-48265-2 [contents]

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.