.gif)
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte
| Title | Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte |
| Publication Type | Miscellaneous |
| Year of Publication | 1994 |
| Authors | Conrad, S. |
| Public | no |