![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Formale Beschreibungstechniken (FBT)
FBT 2001: Bruchsal, Germany
FBT 2000: Lübeck, Germany
- Jens Grabowski, Stefan Heymer:
Formale Beschreibungstechniken für verteilte Systeme, 10. GI/ITG-Fachgespräch, Lübeck, Juni 2000. Verlag Shaker 2000, ISBN 3-8265-7491-5 [contents]
FBT 1999: München, Germany
- Katharina Spies, Bernhard Schätz:
Formale Beschreibungstechniken für verteilte Systeme, 9. GI/ITG-Fachgespräch, München, Juni 1999. Herbert Utz Verlag 1999, ISBN 3-89675-918-3 [contents]
FBT 1998: Cottbus, Germany
- Hartmut König, Peter Langendörfer:
Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. Verlag Shaker 1998, ISBN 3-8265-3807-2 [contents]
FBT 1997: Berlin, Germany
- Adam Wolisz, Ina Schieferdecker, Axel Rennoch:
Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997. GMD-Studien 315, GMD-Forschungszentrum Informationstechnik GmbH 1997, ISBN 3-88457-315-2 [contents]
FBT 1996: Erlangen, Germany
FBT 1995: Kaiserslautern, Germany
FBT 1994: Kiel, Germany
FBT 1993: München, Germany
FBT 1992: Magdeburg, Germany
- Hartmut König:
Formale Methoden für verteilte Systeme, GI/ITG-Fachgespräch, Magdeburg, 10.-11. Juni 1992. K. G. Saur Verlag 1993, ISBN 3-598-22409-5 [contents]
FBT 1991: Darmstadt, Germany
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.