Treffer: Parallel algorithms for verification of large systems

Titel:

Verantwortlich:

Weber, Michael

Veröffentlicht:

Aachen : RWTH, 2006

Vertrieb:

Hannover : Technische Informationsbibliothek (TIB)

Umfang:

Online-Ressource (143 S., 1,04 MB)

Publikationstyp:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Aachener Informatik-Berichte ; 2006,2

Schlagworte:

Zusatz-Informationen