BibTeX record conf/fbt/Kleuker97

download as .bib file

@inproceedings{DBLP:conf/fbt/Kleuker97,
  author       = {Stephan Kleuker},
  editor       = {Adam Wolisz and
                  Ina Schieferdecker and
                  Axel Rennoch},
  title        = {Anforderungsformalisierung f{\"{u}}r synchron kommunizierende
                  Prozesse mit Trace-Diagrammen},
  booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
                  Berlin, 19.-20. Juni 1997},
  series       = {GMD-Studien},
  volume       = {315},
  pages        = {175--184},
  publisher    = {GMD-Forschungszentrum Informationstechnik GmbH},
  year         = {1997},
  timestamp    = {Thu, 27 Mar 2003 09:36:35 +0100},
  biburl       = {https://dblp.org/rec/conf/fbt/Kleuker97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.