Abstraction and Compositional Techniques - Abstract BDDS: A Technique for Using Abstraction in Model Checking

Gespeichert in:
Autor*in:

Clarke, Edmund [verfasserIn]

Jha, Somesh

Lu, Yuan

Wang, Dong

Format:

Artikel

Erschienen:

1999

Umfang:

15

Übergeordnetes Werk:

Enthalten in: Lecture notes in computer science - Berlin, Germany : Springer, 1973, 1703(1999), Seite 172-186

Übergeordnetes Werk:

volume:1703 ; year:1999 ; pages:172-186 ; extent:15

Katalog-ID:

OLC1561702145

Nicht das Richtige dabei?

Schreiben Sie uns!