UnivIS
Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG 
Wirtz, Guido ; Giese, H.:
Skalierbare Beschreibung des Verhaltens verteilter Systeme .
In: ITG-FBT-2000 (Veranst.):
10. GI/ITG Fachgespräch Formale Beschreibungstechniken f¨ur Verteilte Systeme
(ITG-FBT-2000, Lübeck, Juni 2000).
2000.
UnivIS ist ein Produkt der Config eG, Buckenhof