Treffer: Symbolic model checking for incomplete designs

Titel:

Symbolic model checking for incomplete designs / Tobias Nopper; Christoph Scholl

Beteiligt:

Veröffentlicht:

Freiburg im Breisgau : Univ., 2004

Vertrieb:

Hannover : Technische Informationsbibliothek (TIB)

Umfang:

Online-Ressource (32 S., 711,3 KB) : graph. Darst.

Format:

E-Book

Sprache:

Englisch

Schriftenreihe/Mehrbändiges Werk:

Report / Albert-Ludwigs-University, Institute of Computer Science ; 201

Schlagworte:

Zusatz-Informationen