FBT 2000: Lübeck, Germany

@proceedings{DBLP:conf/fbt/2000,
  editor    = {Jens Grabowski and
               Stefan Heymer},
  title     = {Formale Beschreibungstechniken f{\"u}r verteilte Systeme, 10.
               GI/ITG-Fachgespr{\"a}ch, L{\"u}beck, Juni 2000},
  booktitle = {FBT},
  publisher = {Verlag Shaker},
  year      = {2000},
  isbn      = {3-8265-7491-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Willem P. de Roever, Frank S. de Boer, Ulrich Hannemann, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers: Basic Principles of a textbook on the compositional and noncompositional verification of concurrent programs. 3-5 BibTeX
• Rüdiger Valk: Mobile and Distributed Objects versus Central Referencing. 7-27 BibTeX
• Jan Bredereke: Hierarchische Familien formaler Anforderungen. 31-40 BibTeX
• Guido Wirtz, Holger Giese: Skalierbare Beschreibung des Verhaltens verteilter Software-Systeme. 41-50 BibTeX
• Jan de Meer, Erika Ábrahám-Mumm: Formal Methods for Reflective System Specification. 51-57 BibTeX
• Arnim Wedig: Modellierung Verteilter Systeme mit I-Systemen - Ein Beispiel. 59-68 BibTeX
• Christine Röckl: Proving Write Invalidate Cache Coherence with Bisimulations in Isabelle/HOL. 69-78 BibTeX
• Dirk Beyer, Andreas Noack: BDD-basierte Verifikation von Echtzeit-Systemen. 79-89 BibTeX
• Alexander K. Wißpeintner, Franz Huber, Jan Philipps: Model Checking and Random Competition - A Study Using the Model Checking Framework MIC. 91-100 BibTeX
• Max Breitling, Jan Philipps: Diagrams for Dataflow. 101-110 BibTeX
• Bernhard Schätz, Katharina Spies: 10 Years Focus - Lessons learned. 111-120 BibTeX
• Martin von Löwis: Datentypsematik für SDL - 2000. 121-130 BibTeX
• Michael Schmitt II: The Development of a Parser for SDL - 2000. 131-142 BibTeX
• Peter Langendörfer, Thomas Krüger, Hartmut König: Leistungsbewertung von SDL-Spezifikationen - Ein Werkzeug zur Bewertung von Implementierungstechniken. 143-152 BibTeX
• Ekkart Rudolph, Ina Schieferdecker, Jens Grabowski: Development of a MSC/UML Test Format. 153-164 BibTeX
• Philipp Schaible, Reinhard Gotzhein: Einige Aspekte der Entwicklung maßgeschneiderter Kommunikationsmiddleware. 165-174 BibTeX
• Sébastien Bornot, Ralf Huuck, Ben Lukoschus: Statische Analysetechniken für speicherprogrammierbare Steuerungen. 175-181 BibTeX