![[logo of the networked systems group]](/en/images/vs.gif)
Formale Beschreibungstechniken für verteilte Systeme
R. Gotzhein, J. Bredereke
Proceedings des 5. GI/ITG-Fachgesprächs, Kaiserslautern, Germany, 1995
Abstract
Seit 1991 findet in jedem Jahr das GI/ITG-Fachgespräch "Formale Beschreibungstechniken für verteilte Systeme" der GI/ITG-Fachgruppe 3.3.1/4.4 "Kommunikation und verteilte Systeme (KuVS)" statt. Auch in diesem Jahr haben sich ca. 50 Fachleute aus Forschung und Industrie zusammengefunden, um aktuelle Forschungsergebnisse vorzustellen und zu diskutieren. Dieser Bericht enthält die vorgestellten 23 Tagungsbeiträge.
 | Superordinated page: Year 1995 |
| | Feedback |
| Go to the contact details of the person in charge of this page |
| | Deutsch  |
| This page in german. Diese Seite auf deutsch. |