DBLP Record 'conf/fbt/SommerfeldL97'

BibTeX

@inproceedings{DBLP:conf/fbt/SommerfeldL97,
  author    = {Lutz Sommerfeld and
               Peter B. Ladkin},
  title     = {Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+},
  booktitle = {FBT},
  year      = {1997},
  pages     = {79-88},
  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}
}