dblp.uni-trier.de www.uni-trier.de

2. B 1998: Montpellier, France

Didier Bert (Ed.): B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings. Lecture Notes in Computer Science 1393 Springer 1998, ISBN 3-540-64405-9 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@proceedings{DBLP:conf/b/1998,
  editor    = {Didier Bert},
  title     = {B'98: Recent Advances in the Development and Use of the B Method,
               Second International B Conference, Montpellier, France, April
               22-24, 1998, Proceedings},
  booktitle = {B},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  year      = {1998},
  isbn      = {3-540-64405-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Lectures

Theoretical Issues on B

B Extension Proposals

Methodological Issues

Design of Distributed Systems

Case Studies and Industrial Applications

Copyright © Mon Nov 2 20:21:41 2009 by Michael Ley (ley@uni-trier.de)