Contributed Papers - SAT-Based Image Computation with Application in Reachability Analysis

Gespeichert in:
Autor*in:

Gupta, Aarti [verfasserIn]

Yang, Zijiang

Ashar, Pranav

Gupta, Anubhav

Format:

Artikel

Erschienen:

2000

Umfang:

18

Übergeordnetes Werk:

Enthalten in: Lecture notes in computer science - Berlin, Germany : Springer, 1973, 1954(2000), Seite 354-371

Übergeordnetes Werk:

volume:1954 ; year:2000 ; pages:354-371 ; extent:18

Katalog-ID:

OLC1585196460

Nicht das Richtige dabei?

Schreiben Sie uns!