Formal methods: foundations and applications: 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23 - 28, 2012 ; proceedings
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
2012
|
| Schriftenreihe: | Lecture notes in computer science
7498 |
| Schlagworte: | |
| Online-Zugang: | Inhaltstext Inhaltsverzeichnis |
| Beschreibung: | X, 225 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 3642332951 9783642332951 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040451138 | ||
| 003 | DE-604 | ||
| 005 | 20130215 | ||
| 007 | t| | ||
| 008 | 121002s2012 gw d||| |||| 10||| eng d | ||
| 015 | |a 12,N34 |2 dnb | ||
| 016 | 7 | |a 1025058860 |2 DE-101 | |
| 020 | |a 3642332951 |9 3-642-33295-1 | ||
| 020 | |a 9783642332951 |c Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.) |9 978-3-642-33295-1 | ||
| 024 | 3 | |a 9783642332951 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86157041 |
| 035 | |a (OCoLC)815941008 | ||
| 035 | |a (DE-599)DNB1025058860 | ||
| 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-83 |a DE-11 |a DE-91G | ||
| 082 | 0 | |a 005.14 |2 22/ger | |
| 082 | 0 | |a 005.131 |2 22/ger | |
| 082 | 0 | |a 004.24 |2 22/ger | |
| 084 | |a DAT 510f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 330f |2 stub | ||
| 084 | |a DAT 325f |2 stub | ||
| 245 | 1 | 0 | |a Formal methods: foundations and applications |b 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23 - 28, 2012 ; proceedings |c Rohit Gheyi ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2012 | |
| 300 | |a X, 225 S. |b graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 7498 | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Softwaretest |0 (DE-588)4132652-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fehlertoleranz |0 (DE-588)4123192-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2012 |z Natal Rio Grande do Norte |2 gnd-content | |
| 689 | 0 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | 1 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | 2 | |a Softwaretest |0 (DE-588)4132652-0 |D s |
| 689 | 0 | 3 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |D s |
| 689 | 0 | 4 | |a Fehlertoleranz |0 (DE-588)4123192-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gheyi, Rohit |e Sonstige |4 oth | |
| 711 | 2 | |a SBMF |n 15 |d 2012 |c Natal, Rio Grande do Norte |j Sonstige |0 (DE-588)1026449030 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-33296-8 |
| 830 | 0 | |a Lecture notes in computer science |v 7498 |w (DE-604)BV000000607 |9 7498 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4099790&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 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=025298791&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025298791 | |
Datensatz im Suchindex
| _version_ | 1820875425100857344 |
|---|---|
| adam_text |
IMAGE 1
TABLE O F CONTENTS
THE VERSATILE SYNCHRONOUS OBSERVER 1
JOHN RUSHBY
THIRTEEN YEARS OF AUTOMATED CODE ANALYSIS A T MICROSOFT 2
WOLFRAM SCHULTE
MODEL CHECKING PROPOSITIONAL DEONTIC TEMPORAL LOGIC VIA A /I-CALCULUS
CHARACTERIZATION 3
ARACELI ACOSTA, CECILIA KILMURRAY, PABLO F. CASTRO, AND NAZARENO M.
AGUIRRE
AN APPROACH USING THE B METHOD TO FORMAL VERIFICATION OF P L C PROGRAMS
IN AN INDUSTRIAL SETTING 19
HANIEL BARBOSA AND DAVID DEHARBE
PALYTOXIN INHIBITS THE SODIUM-POTASSIUM P U M P - AN INVESTIGATION OF AN
ELECTROPHYSIOLOGICAL MODEL USING PROBABILISTIC MODEL CHECKING 35
FERNANDO A.F. BRAZ, JADER S. CRUZ,
ALESSANDRA C. FARIA-CAMPOS, AND SERGIO V.A. CAMPOS
BETA: A B BASED TESTING APPROACH 51
ERNESTO C.B. DE MATOS AND ANAMARIA MARTINS MOREIRA
A PROCESS ALGEBRA BASED STRATEGY FOR GENERATING TEST VECTORS FROM SCR
SPECIFICATIONS 67
GUSTAVO CARVALHO, DIOGO FALCAO, ALEXANDRE MOTA, AND AUGUSTO SAMPAIO
SPECIFICATION PATTERNS FOR PROPERTIES OVER REACHABLE STATES OF GRAPH
GRAMMARS 83
SIMONE ANDRE DA COSTA CAVALHEIRO, LUCIANA FOSS, AND LEILA RIBEIRO
COMPOSITIONALITY AND REFINEMENT IN MODEL-DRIVEN ENGINEERING 99
JIM DAVIES, JEREMY GIBBONS, DAVID MILWARD, AND JAMES WELCH
IDENTIFYING HARDWARE FAILURES SYSTEMATICALLY 115
ANDRE DIDIER AND ALEXANDRE MOTA
INVESTIGATING TIME PROPERTIES OF INTERRUPT-DRIVEN PROGRAMS 131
YANHONG HUANG, YONGXIN ZHAO, JIANQI SHI, HUIBIAO ZHU, AND SHENGCHAO QIN
HTTP://D-NB.INFO/1025058860
IMAGE 2
X TABLE OF CONTENTS
SPECIFYING AND VERIFYING DECLARATIVE FLUENT TEMPORAL LOGIC PROPERTIES OF
WORKFLOWS 147
GERMAN REGIS, NICOLAS RICCI, NAZARENO M. AGUIRRE, AND TOM MAIBAUM
COMPOSITION OF MODEL TRANSFORMATIONS: A CATEGORICAL FRAMEWORK 163
CHRISTOPH SCHULZ, MICHAEL LOWE, AND HARALD KONIG
VERIFICATION RULES FOR EXCEPTION HANDLING IN EIFFEL 179
EMIL SEKERINSKI AND TIAN ZHANG
A SOUND REDUCTION OF PERSISTENT-SETS FOR DEADLOCK DETECTION IN M P I
APPLICATIONS 194
SUBODH SHARMA, GANESH GOPALAKRISHNAN, AND GREG BRONEVETSKY
ALTERNATING-TIME TEMPORAL LOGIC IN THE CALCULUS OF (CO)INDUCTIVE
CONSTRUCTIONS 210
DANTE ZANARINI, CARLOS LUNA, AND LUIS SIERRA
A U T H O R I N D E X 227 |
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV040451138 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 510f DAT 330f DAT 325f |
| ctrlnum | (OCoLC)815941008 (DE-599)DNB1025058860 |
| dewey-full | 005.14 005.131 004.24 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security 004 - Computer science |
| dewey-raw | 005.14 005.131 004.24 |
| dewey-search | 005.14 005.131 004.24 |
| dewey-sort | 15.14 |
| 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">BV040451138</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130215</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">121002s2012 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N34</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1025058860</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642332951</subfield><subfield code="9">3-642-33295-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642332951</subfield><subfield code="c">Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.)</subfield><subfield code="9">978-3-642-33295-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642332951</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86157041</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)815941008</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1025058860</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-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.14</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.131</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.24</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510f</subfield><subfield code="2">stub</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 330f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods: foundations and applications</subfield><subfield code="b">15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23 - 28, 2012 ; proceedings</subfield><subfield code="c">Rohit Gheyi ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 225 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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">7498</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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="650" ind1="0" ind2="7"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</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">2012</subfield><subfield code="z">Natal Rio Grande do Norte</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><subfield code="a">Softwaretest</subfield><subfield code="0">(DE-588)4132652-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</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">Gheyi, Rohit</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">SBMF</subfield><subfield code="n">15</subfield><subfield code="d">2012</subfield><subfield code="c">Natal, Rio Grande do Norte</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1026449030</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-33296-8</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7498</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7498</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4099790&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=025298791&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-025298791</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Natal Rio Grande do Norte gnd-content |
| genre_facet | Konferenzschrift 2012 Natal Rio Grande do Norte |
| id | DE-604.BV040451138 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:15:25Z |
| institution | BVB |
| institution_GND | (DE-588)1026449030 |
| isbn | 3642332951 9783642332951 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025298791 |
| oclc_num | 815941008 |
| open_access_boolean | |
| owner | DE-706 DE-83 DE-11 DE-91G DE-BY-TUM |
| owner_facet | DE-706 DE-83 DE-11 DE-91G DE-BY-TUM |
| physical | X, 225 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Formal methods: foundations and applications 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23 - 28, 2012 ; proceedings Rohit Gheyi ... (eds.) Berlin [u.a.] Springer 2012 X, 225 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7498 Formale Methode (DE-588)4333722-3 gnd rswk-swf Softwaretest (DE-588)4132652-0 gnd rswk-swf Modellgetriebene Entwicklung (DE-588)4832365-2 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Natal Rio Grande do Norte gnd-content Formale Methode (DE-588)4333722-3 s Verifikation (DE-588)4135577-5 s Softwaretest (DE-588)4132652-0 s Modellgetriebene Entwicklung (DE-588)4832365-2 s Fehlertoleranz (DE-588)4123192-2 s DE-604 Gheyi, Rohit Sonstige oth SBMF 15 2012 Natal, Rio Grande do Norte Sonstige (DE-588)1026449030 oth Erscheint auch als Online-Ausgabe 978-3-642-33296-8 Lecture notes in computer science 7498 (DE-604)BV000000607 7498 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4099790&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025298791&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Formal methods: foundations and applications 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23 - 28, 2012 ; proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Softwaretest (DE-588)4132652-0 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd Verifikation (DE-588)4135577-5 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4132652-0 (DE-588)4832365-2 (DE-588)4135577-5 (DE-588)4123192-2 (DE-588)1071861417 |
| title | Formal methods: foundations and applications 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23 - 28, 2012 ; proceedings |
| title_auth | Formal methods: foundations and applications 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23 - 28, 2012 ; proceedings |
| title_exact_search | Formal methods: foundations and applications 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23 - 28, 2012 ; proceedings |
| title_full | Formal methods: foundations and applications 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23 - 28, 2012 ; proceedings Rohit Gheyi ... (eds.) |
| title_fullStr | Formal methods: foundations and applications 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23 - 28, 2012 ; proceedings Rohit Gheyi ... (eds.) |
| title_full_unstemmed | Formal methods: foundations and applications 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23 - 28, 2012 ; proceedings Rohit Gheyi ... (eds.) |
| title_short | Formal methods: foundations and applications |
| title_sort | formal methods foundations and applications 15th brazilian symposium sbmf 2012 natal brazil september 23 28 2012 proceedings |
| title_sub | 15th Brazilian symposium, SBMF 2012, Natal, Brazil, September 23 - 28, 2012 ; proceedings |
| topic | Formale Methode (DE-588)4333722-3 gnd Softwaretest (DE-588)4132652-0 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd Verifikation (DE-588)4135577-5 gnd Fehlertoleranz (DE-588)4123192-2 gnd |
| topic_facet | Formale Methode Softwaretest Modellgetriebene Entwicklung Verifikation Fehlertoleranz Konferenzschrift 2012 Natal Rio Grande do Norte |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4099790&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025298791&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT gheyirohit formalmethodsfoundationsandapplications15thbraziliansymposiumsbmf2012natalbrazilseptember23282012proceedings AT sbmfnatalriograndedonorte formalmethodsfoundationsandapplications15thbraziliansymposiumsbmf2012natalbrazilseptember23282012proceedings |