Suchergebnis

• Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte Conrad, Stefan Als Ms. gedr., Düsseldorf : VDI-Verl., 1994

• Geschützte Objektreferenzen und dynamische Typisierung in verteilten heterogenen Systemen Heite, Reinhard Als Ms. gedr., Düsseldorf : VDI-Verl., 1996