Monografie

Parallel algorithms for verification of large systems

Sprache
Englisch
Umfang
II, 133 S.
Anmerkungen
Zugl.: Aachen, Techn. Hochsch., Diss., 2006
Identifier
100031314X

Reihe
Aachener Informatik-Berichte; 2006,02

Thema
Hochschulschrift

Beteiligte Personen und Organisationen
Erschienen
[Online-Ausg.]: 2006

URN
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
26.01.2023, 13:53 MEZ

Objekttyp

  • Monografie

Beteiligte

Entstanden

  • [Online-Ausg.]: 2006

Ähnliche Objekte (12)