DBLP Record 'conf/fbt/RoeverBHHLPZ00'

BibTeX

@inproceedings{DBLP:conf/fbt/RoeverBHHLPZ00,
  author    = {Willem P. de Roever and
               Frank S. de Boer and
               Ulrich Hannemann and
               Jozef Hooman and
               Yassine Lakhnech and
               Mannes Poel and
               Job Zwiers},
  title     = {Basic Principles of a textbook on the compositional and
               noncompositional verification of concurrent programs},
  booktitle = {FBT},
  year      = {2000},
  pages     = {3-5},
  crossref  = {DBLP:conf/fbt/2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/fbt/2000,
  editor    = {Jens Grabowski and
               Stefan Heymer},
  title     = {Formale Beschreibungstechniken f{\"u}r verteilte Systeme,
               10. GI/ITG-Fachgespr{\"a}ch, L{\"u}beck, Juni 2000},
  booktitle = {FBT},
  publisher = {Verlag Shaker},
  year      = {2000},
  isbn      = {3-8265-7491-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}