DBLP Record 'conf/fbt/RensinkG97'

BibTeX

@inproceedings{DBLP:conf/fbt/RensinkG97,
  author    = {Arend Rensink and
               Roberto Gorrieri},
  title     = {Action refinement for Vertical Implementation},
  booktitle = {FBT},
  year      = {1997},
  pages     = {69-78},
  crossref  = {DBLP:conf/fbt/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/fbt/1997,
  editor    = {Adam Wolisz and
               Ina Schieferdecker and
               Axel Rennoch},
  title     = {Formale Beschreibungstechniken f{\"u}r verteilte Systeme,
               GI/ITG-Fachgespr{\"a}ch, Berlin, 19.-20. Juni 1997},
  booktitle = {FBT},
  publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
  series    = {GMD-Studien},
  volume    = {315},
  year      = {1997},
  isbn      = {3-88457-315-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}