Search dblp for Publications

export results for "toc:db/conf/fbt/fbt1992.bht:"

 download as .bib file

@proceedings{DBLP:conf/fbt/1992,
  editor       = {Hartmut K{\"{o}}nig},
  title        = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
                  Magdeburg, 10.-11. Juni 1992},
  publisher    = {K. G. Saur Verlag},
  year         = {1993},
  isbn         = {3-598-22409-5},
  timestamp    = {Thu, 27 Mar 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fbt/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/AhrensFPW92,
  author       = {Klaus Ahrens and
                  Joachim Fischer and
                  Andreas Prinz and
                  Dorota Witaszek},
  editor       = {Hartmut K{\"{o}}nig},
  title        = {Eine Entwicklungsumgebung f{\"{u}}r SDL'92},
  booktitle    = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
                  Magdeburg, 10.-11. Juni 1992},
  pages        = {49--65},
  publisher    = {K. G. Saur Verlag},
  year         = {1992},
  timestamp    = {Mon, 25 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fbt/AhrensFPW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/DendorferW92,
  author       = {Claus Dendorfer and
                  Rainer Weber},
  editor       = {Hartmut K{\"{o}}nig},
  title        = {An Informal Introduction to the Design Method {FOCUS}},
  booktitle    = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
                  Magdeburg, 10.-11. Juni 1992},
  pages        = {9--20},
  publisher    = {K. G. Saur Verlag},
  year         = {1992},
  timestamp    = {Thu, 27 Mar 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fbt/DendorferW92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/GotzHR92,
  author       = {Norbert G{\"{o}}tz and
                  Ulrich Herzog and
                  Michael Rettelbach},
  editor       = {Hartmut K{\"{o}}nig},
  title        = {{TIPP} - Introduction and Application to Protocol Performance Analysis},
  booktitle    = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
                  Magdeburg, 10.-11. Juni 1992},
  pages        = {105--125},
  publisher    = {K. G. Saur Verlag},
  year         = {1992},
  timestamp    = {Thu, 27 Mar 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fbt/GotzHR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/GrabowskiR92,
  author       = {Jens Grabowski and
                  Ekkart Rudolph},
  editor       = {Hartmut K{\"{o}}nig},
  title        = {Message Sequence Chart {(MSC)} - {A} Survey of the new {CCITT} Language
                  for the Description to Traces within Communications Systems},
  booktitle    = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
                  Magdeburg, 10.-11. Juni 1992},
  pages        = {66--87},
  publisher    = {K. G. Saur Verlag},
  year         = {1992},
  timestamp    = {Thu, 27 Mar 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fbt/GrabowskiR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/Gumm92,
  author       = {H. Peter Gumm},
  editor       = {Hartmut K{\"{o}}nig},
  title        = {{MUNITY}},
  booktitle    = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
                  Magdeburg, 10.-11. Juni 1992},
  pages        = {21--34},
  publisher    = {K. G. Saur Verlag},
  year         = {1992},
  timestamp    = {Thu, 27 Mar 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fbt/Gumm92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/Heiner92,
  author       = {Monika Heiner},
  editor       = {Hartmut K{\"{o}}nig},
  title        = {A Petri Net View of Process Communication},
  booktitle    = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
                  Magdeburg, 10.-11. Juni 1992},
  pages        = {126--141},
  publisher    = {K. G. Saur Verlag},
  year         = {1992},
  timestamp    = {Thu, 27 Mar 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fbt/Heiner92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/Held92,
  author       = {Thomas Held},
  editor       = {Hartmut K{\"{o}}nig},
  title        = {Ableitung von parallelen Strukturen aus Estelle-SpezifiKationen},
  booktitle    = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
                  Magdeburg, 10.-11. Juni 1992},
  pages        = {142--160},
  publisher    = {K. G. Saur Verlag},
  year         = {1992},
  timestamp    = {Thu, 27 Mar 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fbt/Held92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/KreuzG92,
  author       = {Detlef Kreuz and
                  Reinhard Gotzhein},
  editor       = {Hartmut K{\"{o}}nig},
  title        = {A Compiler for the Parallel Execution of Estelle Specification},
  booktitle    = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
                  Magdeburg, 10.-11. Juni 1992},
  pages        = {161--178},
  publisher    = {K. G. Saur Verlag},
  year         = {1992},
  timestamp    = {Thu, 27 Mar 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fbt/KreuzG92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/LadkinL92,
  author       = {Peter B. Ladkin and
                  Stefan Leue},
  editor       = {Hartmut K{\"{o}}nig},
  title        = {On the Semantics of Message Sequence Charts},
  booktitle    = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
                  Magdeburg, 10.-11. Juni 1992},
  pages        = {88--104},
  publisher    = {K. G. Saur Verlag},
  year         = {1992},
  timestamp    = {Thu, 27 Mar 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fbt/LadkinL92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fbt/Nahm92,
  author       = {Robert Nahm},
  editor       = {Hartmut K{\"{o}}nig},
  title        = {Semantics of simple {SDL}},
  booktitle    = {Formale Methoden f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
                  Magdeburg, 10.-11. Juni 1992},
  pages        = {35--48},
  publisher    = {K. G. Saur Verlag},
  year         = {1992},
  timestamp    = {Thu, 27 Mar 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fbt/Nahm92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.