Hochschulschrift

Parallel algorithms for verification of large systems

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Maße
21 cm
Umfang
II, 133 S.
Sprache
Englisch
Anmerkungen
graph. Darst.
Zugl.: Aachen, Techn. Hochsch., Diss., 2006

Erschienen in
Aachener Informatik-Berichte ; 2006,02

Ereignis
Veröffentlichung
(wo)
Aachen
(wer)
RWTH, Department of Computer Science
(wann)
2006
Urheber

URN
urn:nbn:de:hbz:82-opus-17709
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:22 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.

Objekttyp

  • Hochschulschrift

Beteiligte

Entstanden

  • 2006

Ähnliche Objekte (12)