Result: Parallel algorithms for verification of large systems

*Title*:

*Author/editor-in-chief*:

Weber, Michael

*Publication*:

Aachen : RWTH, 2006

*Distribution*:

Hannover : Technische Informationsbibliothek (TIB)

*Physical description scale*:

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

*Format*:

*eBook*

*Language*:

*eng*

*series_multipart*:

Aachener Informatik-Berichte ; 2006,2

*Subject Added Keywords*:

*Result*: Parallel algorithms for verification of large systems