Auflistung nach Autor Schröter, Claus
Anzeige der Treffer 1 bis 1 von 1
Erscheinungsdatum | Titel | Autor(en) |
---|---|---|
2006 | Halbordnungs- und Reduktionstechniken für die automatische Verifikation von verteilten Systemen | Schröter, Claus |
Erscheinungsdatum | Titel | Autor(en) |
---|---|---|
2006 | Halbordnungs- und Reduktionstechniken für die automatische Verifikation von verteilten Systemen | Schröter, Claus |