Tools and algorithms for the construction and analysis of systems: 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2007
|
| Schriftenreihe: | Lecture Notes in Computer Science
4424 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XX, 738 S. graph. Darst. |
| ISBN: | 9783540712084 3540712089 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV022398619 | ||
| 003 | DE-604 | ||
| 005 | 20170309 | ||
| 007 | t| | ||
| 008 | 070424s2007 gw d||| |||| 10||| eng d | ||
| 015 | |a 07,N10,0043 |2 dnb | ||
| 016 | 7 | |a 983129363 |2 DE-101 | |
| 020 | |a 9783540712084 |c : ca. EUR 89.88 (freier Pr.), ca. sfr 138.00 (freier Pr.) |9 978-3-540-71208-4 | ||
| 020 | |a 3540712089 |c : ca. EUR 89.88 (freier Pr.), ca. sfr 138.00 (freier Pr.) |9 3-540-71208-9 | ||
| 024 | 3 | |a 9783540712084 | |
| 028 | 5 | 2 | |a 12029204 |
| 035 | |a (OCoLC)633448730 | ||
| 035 | |a (DE-599)BVBBV022398619 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-706 |a DE-91G |a DE-83 |a DE-11 | ||
| 082 | 0 | |a 005.12 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 310f |2 stub | ||
| 245 | 1 | 0 | |a Tools and algorithms for the construction and analysis of systems |b 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |c Orna Grumberg ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2007 | |
| 300 | |a XX, 738 S. |b 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 4424 | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwareentwicklung |0 (DE-588)4116522-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmanalyse |0 (DE-588)4175841-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Model Checking |0 (DE-588)4434799-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2007 |z Braga |2 gnd-content | |
| 689 | 0 | 0 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Softwareentwicklung |0 (DE-588)4116522-6 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Model Checking |0 (DE-588)4434799-6 |D s |
| 689 | 2 | |5 DE-604 | |
| 689 | 3 | 0 | |a Programmanalyse |0 (DE-588)4175841-9 |D s |
| 689 | 3 | |5 DE-604 | |
| 689 | 4 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 4 | |5 DE-604 | |
| 700 | 1 | |a Grumberg, Orna |4 edt | |
| 711 | 2 | |a TACAS |n 13 |d 2007 |c Braga |j Sonstige |0 (DE-588)6063719-5 |4 oth | |
| 711 | 2 | |a ETAPS |n 10 |d 2007 |c Braga |j Sonstige |0 (DE-588)6063710-9 |4 oth | |
| 830 | 0 | |a Lecture Notes in Computer Science |v 4424 |w (DE-604)BV000000607 |9 4424 | |
| 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=015607324&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-015607324 | |
Datensatz im Suchindex
| _version_ | 1820875009922433024 |
|---|---|
| adam_text |
ORNA GRUMBERG MICHAE
L HUTH (EDS.)
TOOLS AND ALGORITHMS
FOR THE CONSTRUCTION
AND ANALYSIS OF SYSTEMS
13TH INTERNATIONAL CONFERENCE, TACAS 200
7
HELD AS PART OF THE JOINT EUROPEA
N CONFERENCES
ON THEORY AND PRACTICE OF SOFTWARE, ETAPS 2007
BRAGA
, PORTUGAL
, MAREN 24 - APRIL 1, 2007
PROCEEDING
S
SPRINGER
TABL
E OF CONTENT
S
INVITE
D CONTRIBUTION
S
THER
E AND BACK AGAIN
: LESSONS LEARNE
D ON TH
E WAY T
O TH
E
MARKE
T 1
RANCE CLEAVELAND
VERIFYING OBJECT-ORIENTE
D SOFTWARE: LESSONS AN
D CHALLENGE
S 2
K. RUSTAN M. LEINO
SOFTWAR
E VERIFICATIO
N
SHAP
E ANALYSI
S B
Y GRAP
H DECOMPOSITIO
N 3
R. MANEVICH, J. BERDINE, B. COOK, G. RAMALINGAM, AND M. SAGIV
A REACHABILIT
Y PREDICAT
E FOR ANALYZIN
G LOW-LEVEL SOFTWARE 19
SHAUNAK C'HATTERJEE, SHUVENDU K. LAHIRI, SHAZ QADEER, AND
ZVONIMIR RAKAMARIC
GENERATIN
G REPRESENTATIO
N INVARIANT
S OF STRUCTURALL
Y COMPLEX DAT
A .
. 34
MUHAMMAD ZUBAIR MALIK, AMAN PERVAIZ, AND SARFRAZ KHURSHID
PROBABILISTI
C MODE
L CHECKIN
G AN
D MARKO
V CHAIN
S
MULTI-OBJECTIV
E MODEL CHECKIN
G OF MARKOV DECISION PROCESSE
S 50
K. ETESSAMI, M. KWIATKOWSKA, M. Y. VARDI, AND M, YANNAKAKIS
PREMO
: A
N ANALYZER FOR PROBABILISTI
C RECURSIV
E MODEL
S 66
DOMINIK WOJTCZAK AND KOUSHA ETESSAMI
COUNTEREXAMPLE
S IN PROBABILISTI
C MODEL CHECKIN
G 72
TINGTING HAN AND JOOST-PIETER KATOEN
BISINRULATION MINIMISATIO
N MOSTL
Y SPEED
S U
P PROBABILISTI
C MODEL
CHECKING 87
JOOST-PIETER KATOEN, TIM KEMNA, IVAN ZAPREEV, AND
DAVID N. JANSEN
STATI
C ANALYSI
S
CAUSAL DATAFLOW ANALYSI
S FOR CONCURREN
T PROGRAM
S
AZADEH FARZAN AND P. MADHUSUDAN
102
XVI TABLE OF CONTENTS
TYPE-DEPENDENC
E ANALYSI
S AN
D PROGRA
M TRANSFORMATIO
N FOR SYMBOLIC
EXECUTIO
N 117
SASWAT ANAND, ALEXANDRA ORSA. AND, MARY JEAN HARROLD
JPF-SE
: A SYMBOLIC EXECUTIO
N EXTENSIO
N T
O JAV
A PATHFINDE
R 134
SASWAT ANAND, CORINA S. PAESAEREANU, AND WILLEM VISSER
MARKO
V CHAIN
S AN
D REAL-TIM
E SYSTEM
S
A SYMBOLIC ALGORITH
M FOR OPTIMA
L MARKOV CHAI
N LUMPIN
G 139
SALEM DERISAVI
FLOW FASTER
: EFFICIENT DECISION ALGORITHM
S FOR PROBABILISTI
C
SIMULATION
S
LIJUN ZHANG, HOLGER HERMANNS, FRIEDRICH EISENBRAND, AND
DAVID N. JANSEN
MODEL CHECKING PROBABILISTI
C TIME
D AUTOMAT
A WIT
H ON
E OR
TWO CLOCKS
MARCIN JURDZINSKI, FRANCOIS LARAUSSINIE, AND JEREMY SPROSTON
ADAPTO
R SYNTHESIS FOR REAL-TIM
E COMPONENT
S
MASSIMO TIVOLI, PASCAL FRADET, ALAIN GIRAULT, AND GREGOR GOESSLER
TIME
D AUTOMAT
A AN
D DURATIO
N CALCULU
S
DECIDING AN INTERVA
L LOGIC WIT
H ACCUMULATC-D DURATION
S 201
MARTIN FRAENZLE AND MICHAEL R. HANSEN
FROM TIM
E PETR
I NET
S T
O TIME
D AUTOMATA
: AN UNTIME
D APPROAC
H 216
DAVIDE D'APRILE, SUSANNA DONATELLI, ARNAUD SANGNIER, AND
JEREMY SPROSTON
COMPLEXIT
Y IN SIMPLICITY: FLEXIBL
E AGENT-BASE
D STAT
E SPACE
EXPLORATIO
N 231
JACOB I. RASMUSSEN, GERD BEHRMANN, AND KIM G. LARSEN
ON SAMPLING ABSTRACTIO
N OF CONTINUOU
S TIM
E LOGIC WIT
H DURATION
S 246
PARITOSLI K. PANDYA, SHANKARA NARAYANAN KRISHNA, AND KUNTAL LOYA
ASSUME-GUARANTE
E REASONIN
G
155
170
185
ASSUME-GUARANTE
E SYNTHESIS
KRISHNENDU CHATTERJEE AND THOMAS A. HENZINGER
TABLE OF CONTENTS XVII
OPTIMIZE
D L*-BASED ASSUME-GUARANTE
E RCASONIN
G 276
SAGAR CHAKI AND OFER STRICHMAN
REFMING INTERFAC
E ALPHABET
S FOR COMPOSITIONA
L VERIFIKATION 292
MIHAELA GHEORGHIU, DIMITRA GIANNAKOPOULOU, AND
CORINA S. PAESAEREANU
MAVEN: MODNLA
R ASPEC
T VERIFIKATION 308
MAX GOLDMAN AND SHMUEL KATZ
BIOLOGICA
L SYSTEM
S
MODE) CHECKIN
G LIVENESS PROPERTIE
S OF GENETI
E REGULATOR
Y NETWORK
S . .
. 323
GREGORY BATT, CALIN BELTA, AND BON WEISS
CHECKING PEDIGRE
E CONSISTENC
Y WIT
H PC
S 339
PANAGIOTIS MANOLIOS, MARC GALCERAN OMS, AND SERGI OLIVA VALLS
"DON'
T GARE
" MODELING
: A LOGIEAL FRAMEWOR
K FOR DEVELOPIIIG PREDICTIV
E
SYSTE
M MODELS 343
HUELEL KUGLER, AMIR PNUELI, MICHAEL J. STERN, AND
E. JANE. ALBERT HUBBARD
ABSTRACTIO
N REFINEMEN
T
DECIDING BIT-VECTOR ARITHRNETI
C WIT
H ABSTRACTIO
N 358
RANDAL E. BRYANT, DANIEL KROENING, JOEL OUAKNINE, SANJIT A. SESHIA,
OFER STRICHMAN, AND BRYAN BRADY
ABSTRACTIO
N REFINEMENT OF LINEAR PROGRAM
S WIT
H ARRAY
S 373
ALESSANDRO ARMANDE-, MASSIMO BENERECETTI, AND JACOPO MANTOVANI
PROPERTY-DRIVE
N PARTITIONIN
G FOR ABSTRACTIO
N REFINEMENT 389
ROBERTO SEBASTIANI, STEFANO TONETTA, AND MOSHE Y. VARDI
COMBINING ABSTRACTIO
N REFINEMENT AN
D SAT-BASED MODEL CHECKING .
. 405
NMA AMLA AND KENNETH L. MCMIUEAU
MESSAG
E SEQUENC
E CHART
S
DETEETIN
G R.ACES IN ENSEMBLE
S OF MESSAGE SEQUENCE CHART
S 420
EDITH ELKIND, BLAISE GENEST, AND DORON PELED
REPLAYMG PLA
Y IN AN
D PLA
Y OUT
: SYNTHESI
S OF DESIGN MODELS FROM
SEENARIOS BY LEARNIN
G 435
BENEDIKT BOLLIG, JOOST-PIETER KATOEN, CARSTEN KERN, AND
MARTIN LEUCKER
XVII
I TABL
E OF CONTENT
S
AUTOMATA-BASE
D MODE
L CHECKIN
G
IMPROVE
D ALGORITHM
S FOR TH
E AUTOMATA-BASE
D APPROAC
H T
O
MODEL-CLIECKING 451
LAURENT DOYEN AND JEAN-FRANCOIS RASKIN
GOAL: A GRAPHICA
L TOOL FOR MANIPULATIN
G BUECHI AUTOMAT
A AN
D
TEMPORAL FORMULAE 466
YIH-KUEN TSAY, YU-FANG CHEN, MING-HS-IEN TSAI,
KANU-NIEN WU, AND WEN-CHIN CHAN
FASTE
R ALGORITHM
S FOR FINITAR
Y GAME
S 472
FLORIAN HOERN
SPECIFICATIO
N LANGUAGE
S
PLAIINED AN
D TRAVCRSABL
E PLAY-OUT
: A FLEXIBLE METHO
D FOR EXECUTIN
G
SCENARIO-BASED PROGRAM
S 485
DAVID HAREL AND HAI SEGALL
MOTOR: TH
E MODEST TOOL ENVIRONMEN
T 500
HENRIK BOHNENKAMP, HOLGER HERM.ANNS, AND JOOST-PIETER KATOEN
SYNTACTI
R OPTIMIZATION
S FOR PS
L VERIHCATIO
N 505
ALESSANDRO CIMATTI, MARCO ROVERI, AND STEFANO TONETTA
TH
E HETEROGENEOU
S TOOL SET
, HETS 519
TILL MOSSAKOWSKI. CHRISTIAN MAEDER, O,ND KLAUS LUETTICH
SECURIT
Y
SEARCHING FOR SLIAPES IN CRYPTOGRAPHI
C PROTOCOL
S 523
SHADDIN F. DOGHMI, JOSHUA D. GUTTMAN, AND F. JAVIER THAYER
AUTOMATI
C ANALYSIS OF TH
E SECURIT
Y OF XOR-BASE
D KEY MANAGEMEN
T
SCHEINES 538
VERONIQUE CORTIER, GAVIN JIEIGHREN, AND GRAHAM STEEL
SOFTWAR
E AN
D HARDWAR
E VERIFICATIO
N
STAT
E OF TH
E UNION
: TYP
E INFERENCE VIA CRAI
G INTERPOLATIO
N 553
RANJIT JHALA, R:WPAK MAJUMDAR, AND R.U-GAAG XU
HOAR
E LOGIC FOR REALISTICALL
Y MODELLED MACHIN
E COD
E 568
MAGNUS 0. MYREEN AND MICHAEL J. C. GORDON
TABLE OF CONTENTS XIX
VCEGAR.
: VERILOG COUNTCREXAMPL
E GUIDE
D ABSTRACTIOR
I REFINCINENT
. . . 583
HIMANSHU JAIN, DANIEL KMENING, NATASHA SHARYGINA, AND
EDMUND CLARKE.
DECISIO
N PROCEDURE
S AN
D THEORE
M PROVER
S
ALLOY ANALYZER+PV
S IN TH
E ANALYSI
S AN
D VERIFIEATION OF ALLOY
SPECIFICATIONS 587
MUW.ELO F. FIIAS, CARLOS G. LOPEZ POMBO, AND MARIANO M. MOACATO
COMBINE
D SATISFIABILITY MODIILO PARAMETRI
C THEORIE
S 602
SANA KRSTIC, AMIT GOEL, JIM GRUNDY, AND CESARE TINELLI
A GROEBNE
R BASI
S APPROACL
I T
O CNF-FORMULA
E PREPROCESSIN
G 618
CHMSTOPHER CONDRAT AND PRIYANK KALLA
KODKOD
: A RELATIONA
L MODEL FINDE
R 632
EMINA TORLAK AND, DANIEL JACKSON
MODE
L CHECKIN
G
BOUNDE
D REACHABILIT
Y CHECKIN
G OF AAYNCHRONOU
S SYSTEM
S USING
DECISION DIAGRAM
S 648
ANDY JINQING YU, GIANFRANCO CIARDO, AND GERALD LUETTGEN
MODUL CHECKIN
G ON TREES WIT
H PAT
H EQUIVALEIICES 664
RAJEEV ALUR. PAVOL CERNY, AND SWARAT CHAUDHURI
UPPAAL/DM
C
- ABSTRACTION-BASE
D HEURISTIC
S FOR DIRECTE
D MODEL
CHECKING 679
SEBASTIAN KUPFERSCHMID, KLAUS DRAEGER. JOERG HOFFMANN,
BERND FINKBEINER, HENNING DIERKS, ANDREAS PODEHKI, AND
GERD DEHRMANN
DISTRIBUTE
D ANALYSI
S WIT
H //CRL
: A COMPENDIU
M OF CAS
E STUDIO
S 683
STEFAN BLOM, JENS R. CALAM,E, BERT, LISSER, SIMONA ORZAN.
JUN FANG, JACO VAN DE POL, MOHAMMAD TORABI DASHTI, AND
ANTON J. WIJS
INFINITE-STAT
E SYSTEM
S
A GENERIC FRAMEWOR
K FOR REASOIIING ABOU
T DYNAMI
C NETWORK
S OF
INFINITE-STATE PROCESSE
S 690
AHMED BOUAJJANI. YAN JURSKI, AND MIHAELA SIGHIREANU
XX TABL
E OF CONTENT
S
UNFOLDING CONCNRREN
T WELL-STRUCTTIRE
D TRANSITIO
N SYSTEM
S 706
FREDERIC HERBRETEAU, GREGOIRE SUTRE, AND THE QUANG TRAN
REGULAER MODEL CHECKIIIG WITHOU
T TRANSDNCER
S (ON EFFICIENT VERIFICATIORI
OF PARAMETERIZE
D SYSTEMS
) 721
PAROSH AZIZ ABDULLA, GIORGIO DELZANNO, NOOMENE BEN HENDA, AND
AHMED REZINE
AUTHO
R INDE
X
737 |
| adam_txt | |
| any_adam_object | 1 |
| any_adam_object_boolean | |
| author2 | Grumberg, Orna |
| author2_role | edt |
| author2_variant | o g og |
| author_facet | Grumberg, Orna |
| building | Verbundindex |
| bvnumber | BV022398619 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 310f |
| ctrlnum | (OCoLC)633448730 (DE-599)BVBBV022398619 |
| dewey-full | 005.12 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.12 |
| dewey-search | 005.12 |
| dewey-sort | 15.12 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | 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">BV022398619</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170309</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">070424s2007 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N10,0043</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">983129363</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540712084</subfield><subfield code="c">: ca. EUR 89.88 (freier Pr.), ca. sfr 138.00 (freier Pr.)</subfield><subfield code="9">978-3-540-71208-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540712089</subfield><subfield code="c">: ca. EUR 89.88 (freier Pr.), ca. sfr 138.00 (freier Pr.)</subfield><subfield code="9">3-540-71208-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540712084</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12029204</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633448730</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022398619</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">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.12</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 310f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tools and algorithms for the construction and analysis of systems</subfield><subfield code="b">13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings</subfield><subfield code="c">Orna Grumberg ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 738 S.</subfield><subfield code="b">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">4424</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</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">2007</subfield><subfield code="z">Braga</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="4" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="4" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Grumberg, Orna</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">TACAS</subfield><subfield code="n">13</subfield><subfield code="d">2007</subfield><subfield code="c">Braga</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6063719-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">10</subfield><subfield code="d">2007</subfield><subfield code="c">Braga</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)6063710-9</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">4424</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">4424</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=015607324&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-015607324</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2007 Braga gnd-content |
| genre_facet | Konferenzschrift 2007 Braga |
| id | DE-604.BV022398619 |
| illustrated | Illustrated |
| index_date | 2024-07-02T17:17:30Z |
| indexdate | 2025-01-10T15:08:49Z |
| institution | BVB |
| institution_GND | (DE-588)6063719-5 (DE-588)6063710-9 |
| isbn | 9783540712084 3540712089 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015607324 |
| oclc_num | 633448730 |
| open_access_boolean | |
| owner | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| owner_facet | DE-706 DE-91G DE-BY-TUM DE-83 DE-11 |
| physical | XX, 738 S. graph. Darst. |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Tools and algorithms for the construction and analysis of systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Orna Grumberg ... (eds.) Berlin [u.a.] Springer 2007 XX, 738 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 4424 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2007 Braga gnd-content Systementwicklung (DE-588)4126945-7 s DE-604 Softwareentwicklung (DE-588)4116522-6 s Model Checking (DE-588)4434799-6 s Programmanalyse (DE-588)4175841-9 s Theoretische Informatik (DE-588)4196735-5 s Grumberg, Orna edt TACAS 13 2007 Braga Sonstige (DE-588)6063719-5 oth ETAPS 10 2007 Braga Sonstige (DE-588)6063710-9 oth Lecture Notes in Computer Science 4424 (DE-604)BV000000607 4424 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015607324&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Tools and algorithms for the construction and analysis of systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Lecture Notes in Computer Science Theoretische Informatik (DE-588)4196735-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Programmanalyse (DE-588)4175841-9 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4116522-6 (DE-588)4175841-9 (DE-588)4126945-7 (DE-588)4434799-6 (DE-588)1071861417 |
| title | Tools and algorithms for the construction and analysis of systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |
| title_auth | Tools and algorithms for the construction and analysis of systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |
| title_exact_search | Tools and algorithms for the construction and analysis of systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |
| title_exact_search_txtP | Tools and algorithms for the construction and analysis of systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |
| title_full | Tools and algorithms for the construction and analysis of systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Orna Grumberg ... (eds.) |
| title_fullStr | Tools and algorithms for the construction and analysis of systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Orna Grumberg ... (eds.) |
| title_full_unstemmed | Tools and algorithms for the construction and analysis of systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings Orna Grumberg ... (eds.) |
| title_short | Tools and algorithms for the construction and analysis of systems |
| title_sort | tools and algorithms for the construction and analysis of systems 13th international conference tacas 2007 held as part of the joint european conferences on theory and practice of software etaps 2007 braga portugal march 24 april 1 2007 proceedings |
| title_sub | 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007 ; proceedings |
| topic | Theoretische Informatik (DE-588)4196735-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Programmanalyse (DE-588)4175841-9 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd |
| topic_facet | Theoretische Informatik Softwareentwicklung Programmanalyse Systementwicklung Model Checking Konferenzschrift 2007 Braga |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015607324&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT grumbergorna toolsandalgorithmsfortheconstructionandanalysisofsystems13thinternationalconferencetacas2007heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2007bragaportugalmarch24april12007proceedings AT tacasbraga toolsandalgorithmsfortheconstructionandanalysisofsystems13thinternationalconferencetacas2007heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2007bragaportugalmarch24april12007proceedings AT etapsbraga toolsandalgorithmsfortheconstructionandanalysisofsystems13thinternationalconferencetacas2007heldaspartofthejointeuropeanconferencesontheoryandpracticeofsoftwareetaps2007bragaportugalmarch24april12007proceedings |