Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte
| author/s: | Stefan Conrad |
| type: | Book |
| series: | Fortschritt-Berichte Reihe 10 Nr. 295 |
| publisher: | VDI-Verlag |
| address: | Düsseldorf |
| month: | May |
| year: | 1994 |
| ISBN: | 3-18-329510-5 |
E-Mail senden