Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte

TitleEin Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte
Publication TypeMiscellaneous
Year of Publication1994
AuthorsConrad, S.
Publicno