BibTeX record conf/fbt/RoeverBHHLPZ00

• > Home > conf/fbt/RoeverBHHLPZ00

@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},
  editor       = {Jens Grabowski and
                  Stefan Heymer},
  title        = {Basic Principles of a textbook on the compositional and noncompositional
                  verification of concurrent programs},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 10.
                  GI/ITG-Fachgespr{\"{a}}ch, L{\"{u}}beck, Juni 2000},
  pages        = {3--5},
  publisher    = {Verlag Shaker},
  year         = {2000},
  timestamp    = {Thu, 27 Mar 2003 09:47:24 +0100},
  biburl       = {https://dblp.org/rec/conf/fbt/RoeverBHHLPZ00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}