Software - ...the Right Tooling - Progress on the State Explosion Problem in Model Checking

Gespeichert in:
Autor*in:

Clarke, Edmund [verfasserIn]

Grumberg, Orna

Jha, Somesh

Lu, Yuan

Veith, Helmut

Format:

Artikel

Erschienen:

2001

Umfang:

19

Übergeordnetes Werk:

Enthalten in: Lecture notes in computer science - Berlin, Germany : Springer, 1973, 2000(2001), Seite 176-194

Übergeordnetes Werk:

volume:2000 ; year:2001 ; pages:176-194 ; extent:19

Katalog-ID:

OLC1599076519

Nicht das Richtige dabei?

Schreiben Sie uns!