Auflistung nach Autor Esparza, Javier (Prof. Dr.)
Anzeige der Treffer 3 bis 3 von 3
< zurück
Erscheinungsdatum | Titel | Autor(en) |
---|---|---|
2006 | Halbordnungs- und Reduktionstechniken für die automatische Verifikation von verteilten Systemen | Schröter, Claus |