Computer aided verification: 9th international conference, CAV '97, Haifa, Israel, June 22 - 25, 1997 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin u.a.
Springer
1997
|
| Schriftenreihe: | Lecture notes in computer science
1254 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XI, 486 S. Ill., graph. Darst. |
| ISBN: | 3540631666 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011385995 | ||
| 003 | DE-604 | ||
| 005 | 19970709 | ||
| 007 | t| | ||
| 008 | 970610s1997 gw ad|| |||| 10||| eng d | ||
| 016 | 7 | |a 950488666 |2 DE-101 | |
| 020 | |a 3540631666 |9 3-540-63166-6 | ||
| 035 | |a (OCoLC)222238080 | ||
| 035 | |a (DE-599)BVBBV011385995 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-20 |a DE-19 |a DE-521 |a DE-634 |a DE-83 |a DE-188 |a DE-706 | ||
| 050 | 0 | |a QA76.76.V47 | |
| 082 | 0 | |a 004.2/4/015113 |2 20 | |
| 084 | |a DAT 325f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Computer aided verification |b 9th international conference, CAV '97, Haifa, Israel, June 22 - 25, 1997 ; proceedings |c Orna Grumberg (ed.) |
| 264 | 1 | |a Berlin u.a. |b Springer |c 1997 | |
| 300 | |a XI, 486 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1254 | |
| 650 | 4 | |a Computer software |x Verification |v Congresses | |
| 650 | 4 | |a Electronic digital computers |x Evaluation |v Congresses | |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1997 |z Haifa |2 gnd-content | |
| 689 | 0 | 0 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Grumberg, Orna |e Sonstige |4 oth | |
| 711 | 2 | |a CAV |n 9 |d 1997 |c Ḥêfā |j Sonstige |0 (DE-588)2163899-8 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1254 |w (DE-604)BV000000607 |9 1254 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007652742&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007652742 | |
Datensatz im Suchindex
| _version_ | 1820874853072240640 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
PRACTICAL
CHALLENGES
FOR
INDUSTRIAL
FORMAL
VERIFICATION
TOOLS
F.E.
MARSCHNER
.
1
FORMAL
VERIFICATION
OF
DIGITAL
SYSTEMS,
FROM
ASICS
TO
HW/SW
CODESIGN
-
A
PRAGMATIC
APPROACH
R.B.
HUGHES
.
3
THE
INDUSTRIAL
SUCCESS
OF
VERIFICATION
TOOLS
BASED
ON
STALMARCK
'
S
METHOD
A.
BORALV
.
7
FORMAL
VERIFICATION
-
APPLICATIONS
&;
CASE
STUDIES
M.
ROWE
.
11
AUTOMATIC
ABSTRACTION
TECHNIQUES
FOR
PROPOSITIONAL
MU-CALCULUS
MODEL
CHECKING
A.
PARDO,
AND
G.D.
HACHTEL
.
12
A
COMPOSITIONAL
RULE
FOR
HARDWARE
DESIGN
REFINEMENT
K.L.
MCMILLAN
.
24
MODULE
CHECKING
REVISITED
0.
KUPFERMAN,
AND
M.Y.
VARDI
.
36
USING
COMPOSITIONAL
PREORDERS
IN
THE
VERIFICATION
OF
SLIDING
WINDOW
PROTOCOL
R.
KAIVOLA
.
:
.
48
AN
EFFICIENT
DECISION
PROCEDURE
FOR
THE
THEORY
OF
FIXED-SIZED
BIT-VECTORS
D.
CYRLUK,
O.
MOLLER,
AND
H.
RUESS
.
'.
.
60
CONSTRUCTION
OF
ABSTRACT
STATE
GRAPHS
WITH
PVS
S.
GRAF,
AND
H.
SAIDI
.
72
VERIFICATION
OF
A
CHEMICAL
PROCESS
LEAK
TEST
PROCEDURE
A.L.
TURK,
S.T.
PROBST,
AND
G.J.
POWERS
.
84
AUTOMATIC
DATAPATH
EXTRACTION
FOR
EFFICIENT
USAGE
OF
HDD
G.
KAMHI,
0.
WEISSBERG,
L.
FIX,
Z.
BINYAMINI,
AND
Z.
SHTADLER
.
95
AN
N
LOG
N
ALGORITHM
FOR
ONLINE
BDD
REFINEMENT
N.
KLARLUND
.
107
WEAK
BISIMULATION
FOR
FULLY
PROBABILISTIC
PROCESSES
C.
BAIER,
AND
H.
HERMANNS
.
119
TOWARDS
A
MECHANIZATION
OF
CRYPTOGRAPHIC
PROTOCOL
VERIFICATION
D.
BOLIGNANO
.
131
EFFICIENT
MODEL
CHECKING
USING
TABLED
RESOLUTION
Y.S.
RAMAKRISHNA,
C.R.
RAMAKRISHNAN,
I.
V.
RAMAKRISHNAN,
S.A.
SMOLKA,
T.
SWIFT,
AND
D.S.
WARREN
.
143
CONTAINMENT
OF
REGULAR
LANGUAGES
IN
NON-REGULAR
TIMING
DIAGRAM
LANGUAGES
IS
DECIDABLE
K.
FISLER
.
155
AN
IMPROVED
REACHABILITY
ANALYSIS
METHOD
FOR
STRONGLY
LINEAR
HYBRID
SYSTEMS
B.
BOIGELOT,
L.
BRONNE,
AND
S.
RASSART
.
167
SOME
PROGRESS
IN
THE
SYMBOLIC
VERIFICATION
OF
TIMED
AUTOMATA
M.
BOZGA,
0.
MAIER,
A.
PNUELI,
AND
S.
YOVINE
.
179
STAR!:
A
CASE
STUDY
IN
COMPOSITIONAL
AND
HIERARCHICAL
TIMING
VERIFICATION
S.
TASIRAN,
AND
R.K.
BRAYTON
.
191
A
PROVABLY
CORRECT
EMBEDDED
VERIFIER
FOR
THE
CERTIFICATION
OF
SAFETY
CRITICAL
SOFTWARE
A.
CIMATTI,
F.
GIUNCHIGLIA,
P.
PECCHIARI,
B.
PIETRA,
J.
PROFETA,
D.
ROMANO,
P.
TRAVERSO,
AND
B.
YU
.
202
MODEL
CHECKING
IN
A
MICROPROCESSOR
DESIGN
PROJECT
G.
BARRETT,
AND
A.
MCLSSAC
.
214
SOME
THOUGHTS
ON
STATECHARTS,
13
YEARS
LATER
D.
HAREL
.
226
ON-THE-FLY
MODEL
CHECKING
UNDER
FAIRNESS
THAT
EXPLOITS
SYMMETRY
V.
GYURIS,
AND
A.P.
SISTLA
.
232
EXPLOITING
SYMMETRY
WHEN
VERIFYING
TRANSISTOR-LEVEL
CIRCUITS
BY
SYMBOLIC
TRAJECTORY
EVALUATION
M.
PANDEY,
AND
R.E.
BRYANT
.
244
PARALLELIZING
THE
MURPHI
VERIFIER
U.
STERN,
AND
D.L.
DILL
.
256
A
NEW
HEURISTIC
FOR
BAD
CYCLE
DETECTION
USING
BDDS
R.H.
HARDIN,
R.P.
KURSHAN,
S.K.
SHUKLA,
AND
M.Y.
VARDI
.
268
EFFICIENT
DETECTION
OF
VACUITY
IN
ACTL
FORMULAS
I.
BEER,
S.
BEN-DAVID,
C.
EISNER,
AND
Y.
RODEH
.
279
MODEL
CHECKING
AND
TRANSITIVE-CLOSURE
LOGIC
N.
IMMERMAN,
AND
M.
Y.
VARDI
.
291
BOOLEAN
AND
2-ADIC
NUMBERS
BASED
TECHNIQUES
FOR
VERIFYING
SYNCHRONOUS
DESIGNS
G.
BERRY
.
303
PROGRAMS
WITH
QUASI-STABLE
CHANNELS
ARE
EFFECTIVELY
RECOGNIZABLE
G.
CECE,
AND
A.
FINKEL
.
304
COMBINING
CONSTRAINT
SOLVING
AND
SYMBOLIC
MODEL
CHECKING
FOR
A
CLASS
OF
SYSTEMS
WITH
NON-LINEAR
CONSTRAINTS
W.
CHAN,
R.
ANDERSON,
P.
BEAME,
AND
D.
NOTHIN
.
316
RELAXED
VISIBILITY
ENHANCES
PARTIAL
ORDER
REDUCTION
I.
KOKKARINEN,
D.
PELED,
AND
A.
VALMARI
.
328
PARTIAL-ORDER
REDUCTION
IN
SYMBOLIC
STATE
SPACE
EXPLORATION
R.
ALUR,
R.K.
BRAYTON,
T.A.
HENZINGER,
S.
QADEER,
AND
S.K.
RAJAMANI
.
340
DEADLOCK
CHECKING
USING
NET
UNFOLDINGS
S.
MELZER,
AND
S.
ROEMER
.
352
TRACE
TABLE
BASED
APPROACH
FOR
PIPELINED
MICROPROCESSOR
VERIFICATION
J.
SAWADA,
AND
W.A.
HUNT,
JR
.
364
ON
COMBINING
FORMAL
AND
INFORMAL
VERIFICATION
J.
YUAN,
J.
SHEN,
J.
ABRAHAM,
AND
A.
AZIZ
.
376
EFFICIENT
MODELING
OF
MEMORY
ARRAYS
IN
SYMBOLIC
SIMULATION
M.
VELEV,
R.E.
BRYANT,
AND
A.
JAIN
.
388
SYMBOLIC
MODEL
CHECKING
OF
INFINITE
STATE
SYSTEMS
USING
PRESBURGER
ARITHMETIC
T.
BULTAN,
R.
GERBER,
AND
W.
PUGH
.
400
PARAMETRIZED
VERIFICATION
OF
LINEAR
NETWORKS
USING
AUTOMATA
AS
INVARIANTS
A.P.
SISTLA
.
.
.
412
SYMBOLIC
MODEL
CHECKING
WITH
RICH
ASSERTIONAL
LANGUAGES
Y.
KESTEN,
0.
MAIER,
M.
MARCUS,
A.
PNUELI,
AND
E.
SHAHAR
.
424
TOOL
PAPERS
THE
INVARIANT
CHECKER:
AUTOMATED
DEDUCTIVE
VERIFICATION
OF
REACTIVE
SYSTEMS
H.
SAIDI
.
436
THE
PEP
TOOL
B.
GRAHLMANN
.
440
TERMILOG:
A
SYSTEM
FOR
CHECKING
TERMINATION
OF
QUERIES
TO
LOGIC
PROGRAMS
N.
LINDENSTRAUSS,
Y.
SAGIV,
AND
A.
SEREBRENIK
.
444
MOSEL:
A
SOUND
AND
EFFICIENT
TOOL
FOR
M2L(STR)
P.
KELB,
T.
MARGARIA,
M.
MENDLER,
AND
C.
GSOTTBERGER
.
448
THE
VERUS
TOOL:
A
QUANTITATIVE
APPROACH
TO
THE
FORMAL
VERIFICATION
OF
REAL-TIME
SYSTEMS
S.
CAMPOS,
E.
CLARKE,
AND
M.
MINEA
.
452
UPPAAL
-
STATUS
&
DEVELOPMENTS
K.G.
LARSEN,
P.
PETTERSSON,
AND
W.
YI
.
456
HYTECH:
A
MODEL
CHECKER
FOR
HYBRID
SYSTEMS
T.A.
HENZINGER,
P.-H.
HO,
AND
H.
WONG-TOI
.
460
SMC:
A
SYMMETRY
BASED
MODEL
CHECKER
FOR
VERIFICATION
OF
LIVENESS
PROPERTIES
A.P.
SISTLA,
L.
MILIADES,
AND
V.
GYURIS
.
464
MUCKE
-
EFFICIENT
MU-CALCULUS
MODEL
CHECKING
A.
BIERE
.
468
PROD
3.2
-
AN
ADVANCED
TOOL
FOR
EFFICIENT
REACHABILITY
ANALYSIS
K.
VARPAANIEMI,
K.
HELJANKO,
AND
J.
LILIUS
.
472
VERISOFT:
A
TOOL
FOR
THE
AUTOMATIC
ANALYSIS
OF
CONCURRENT
REACTIVE
SOFTWARE
P.
GODEFROID
.
476
RULEBASE:
MODEL
CHECKING
AT
IBM
I.
BEER,
S.
BEN-DAVID,
C.
EISNER,
D.
GEIST,
L.
GLUHOVSKY,
T.
HEYMAN,
A.
LANDVER,
P.
PAANAH,
Y.
RODEH,
G.
RONIN,
AND
Y.
WOLFSTAHL
.
480
AUTHOR
INDEX
.
485 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV011385995 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.V47 |
| callnumber-search | QA76.76.V47 |
| callnumber-sort | QA 276.76 V47 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SS 1997 SS 4800 |
| classification_tum | DAT 325f |
| ctrlnum | (OCoLC)222238080 (DE-599)BVBBV011385995 |
| dewey-full | 004.2/4/015113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.2/4/015113 |
| dewey-search | 004.2/4/015113 |
| dewey-sort | 14.2 14 515113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV011385995</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970709</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">970610s1997 gw ad|| |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">950488666</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540631666</subfield><subfield code="9">3-540-63166-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)222238080</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011385995</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.V47</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.2/4/015113</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer aided verification</subfield><subfield code="b">9th international conference, CAV '97, Haifa, Israel, June 22 - 25, 1997 ; proceedings</subfield><subfield code="c">Orna Grumberg (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 486 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1254</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic digital computers</subfield><subfield code="x">Evaluation</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1997</subfield><subfield code="z">Haifa</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Grumberg, Orna</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">CAV</subfield><subfield code="n">9</subfield><subfield code="d">1997</subfield><subfield code="c">Ḥêfā</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2163899-8</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1254</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1254</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007652742&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007652742</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1997 Haifa gnd-content |
| genre_facet | Konferenzschrift 1997 Haifa |
| id | DE-604.BV011385995 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:06:20Z |
| institution | BVB |
| institution_GND | (DE-588)2163899-8 |
| isbn | 3540631666 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007652742 |
| oclc_num | 222238080 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-20 DE-19 DE-BY-UBM DE-521 DE-634 DE-83 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-20 DE-19 DE-BY-UBM DE-521 DE-634 DE-83 DE-188 DE-706 |
| physical | XI, 486 S. Ill., graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Computer aided verification 9th international conference, CAV '97, Haifa, Israel, June 22 - 25, 1997 ; proceedings Orna Grumberg (ed.) Berlin u.a. Springer 1997 XI, 486 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1254 Computer software Verification Congresses Electronic digital computers Evaluation Congresses Verifikation (DE-588)4135577-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 Haifa gnd-content Verifikation (DE-588)4135577-5 s DE-604 Grumberg, Orna Sonstige oth CAV 9 1997 Ḥêfā Sonstige (DE-588)2163899-8 oth Lecture notes in computer science 1254 (DE-604)BV000000607 1254 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007652742&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Computer aided verification 9th international conference, CAV '97, Haifa, Israel, June 22 - 25, 1997 ; proceedings Lecture notes in computer science Computer software Verification Congresses Electronic digital computers Evaluation Congresses Verifikation (DE-588)4135577-5 gnd |
| subject_GND | (DE-588)4135577-5 (DE-588)1071861417 |
| title | Computer aided verification 9th international conference, CAV '97, Haifa, Israel, June 22 - 25, 1997 ; proceedings |
| title_auth | Computer aided verification 9th international conference, CAV '97, Haifa, Israel, June 22 - 25, 1997 ; proceedings |
| title_exact_search | Computer aided verification 9th international conference, CAV '97, Haifa, Israel, June 22 - 25, 1997 ; proceedings |
| title_full | Computer aided verification 9th international conference, CAV '97, Haifa, Israel, June 22 - 25, 1997 ; proceedings Orna Grumberg (ed.) |
| title_fullStr | Computer aided verification 9th international conference, CAV '97, Haifa, Israel, June 22 - 25, 1997 ; proceedings Orna Grumberg (ed.) |
| title_full_unstemmed | Computer aided verification 9th international conference, CAV '97, Haifa, Israel, June 22 - 25, 1997 ; proceedings Orna Grumberg (ed.) |
| title_short | Computer aided verification |
| title_sort | computer aided verification 9th international conference cav 97 haifa israel june 22 25 1997 proceedings |
| title_sub | 9th international conference, CAV '97, Haifa, Israel, June 22 - 25, 1997 ; proceedings |
| topic | Computer software Verification Congresses Electronic digital computers Evaluation Congresses Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Computer software Verification Congresses Electronic digital computers Evaluation Congresses Verifikation Konferenzschrift 1997 Haifa |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007652742&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT grumbergorna computeraidedverification9thinternationalconferencecav97haifaisraeljune22251997proceedings AT cavhefa computeraidedverification9thinternationalconferencecav97haifaisraeljune22251997proceedings |