Bounded Model Checking - Abstraction Refinement for Bounded Model Checking

Gespeichert in:
Autor*in:

Gupta, Anubhav [verfasserIn]

Strichman, Ofer

Format:

Artikel

Erschienen:

2005

Umfang:

13

Übergeordnetes Werk:

Enthalten in: Lecture notes in computer science - Berlin, Germany : Springer, 1973, 3576(2005), Seite 112-124

Übergeordnetes Werk:

volume:3576 ; year:2005 ; pages:112-124 ; extent:13

Katalog-ID:

OLC1675705267

Nicht das Richtige dabei?

Schreiben Sie uns!