Jens Grabowski, Stefan Heymer (Eds.): 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 (Eds.): 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 (Eds.): 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 ]
Adam Wolisz, Ina Schieferdecker, Axel Rennoch (Eds.): Formale Beschreibungstechniken für verteilte Systeme, GI/ITG-Fachgespräch, Berlin, 19.-20. Juni 1997. GMD-Forschungszentrum Informationstechnik GmbH 1997 GMD-Studien315 ISBN 3-88457-315-2 [ contents ]
Hartmut König (Ed.): 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 ]