Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Search this site:
Links
Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Home
›
Biblio
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
Tagged
XML
BibTex
Google Scholar