Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems
Autor*in: |
Clarke, Edmund [verfasserIn] |
---|
Format: |
Artikel |
---|
Erschienen: |
2003 |
---|
Umfang: |
22 |
---|
Übergeordnetes Werk: |
Enthalten in: International journal of foundations of computer science - Singapore [u.a.] : World Scient., 1990, 14(2003), 4, Seite 583-604 |
---|---|
Übergeordnetes Werk: |
volume:14 ; year:2003 ; number:4 ; pages:583-604 ; extent:22 |
Katalog-ID: |
OLC1681938103 |
---|
LEADER | 01000caa a22002652 4500 | ||
---|---|---|---|
001 | OLC1681938103 | ||
003 | DE-627 | ||
005 | 20230707185612.0 | ||
007 | tu | ||
008 | 051028s2003 xx ||||| 00| ||und c | ||
028 | 5 | 2 | |a SWAA11 |
035 | |a (DE-627)OLC1681938103 | ||
035 | |a (DE-599)GBVOLC1681938103 | ||
040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
082 | 0 | 4 | |a 004 |
100 | 1 | |a Clarke, Edmund |e verfasserin |4 aut | |
245 | 1 | 0 | |a Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems |
264 | 1 | |c 2003 | |
300 | |a 22 | ||
336 | |a Text |b txt |2 rdacontent | ||
337 | |a ohne Hilfsmittel zu benutzen |b n |2 rdamedia | ||
338 | |a Band |b nc |2 rdacarrier | ||
700 | 1 | |a Fehnker, Ansgar |4 oth | |
700 | 1 | |a Han, Zhi |4 oth | |
700 | 1 | |a Krogh, Bruce |4 oth | |
700 | 1 | |a Ouaknine, J. |4 oth | |
700 | 1 | |a Stursberg, Olaf |4 oth | |
700 | 1 | |a Theobald, Michael |4 oth | |
773 | 0 | 8 | |i Enthalten in |t International journal of foundations of computer science |d Singapore [u.a.] : World Scient., 1990 |g 14(2003), 4, Seite 583-604 |w (DE-627)130975788 |w (DE-600)1072902-1 |w (DE-576)027064948 |x 0129-0541 |7 nnns |
773 | 1 | 8 | |g volume:14 |g year:2003 |g number:4 |g pages:583-604 |g extent:22 |
912 | |a GBV_USEFLAG_A | ||
912 | |a SYSFLAG_A | ||
912 | |a GBV_OLC | ||
912 | |a SSG-OLC-MAT | ||
912 | |a GBV_ILN_22 | ||
912 | |a GBV_ILN_24 | ||
912 | |a GBV_ILN_65 | ||
912 | |a GBV_ILN_70 | ||
912 | |a GBV_ILN_100 | ||
912 | |a GBV_ILN_2015 | ||
912 | |a GBV_ILN_2190 | ||
912 | |a GBV_ILN_2244 | ||
912 | |a GBV_ILN_4027 | ||
912 | |a GBV_ILN_4266 | ||
912 | |a GBV_ILN_4305 | ||
912 | |a GBV_ILN_4306 | ||
912 | |a GBV_ILN_4307 | ||
912 | |a GBV_ILN_4318 | ||
912 | |a GBV_ILN_4324 | ||
951 | |a AR | ||
952 | |d 14 |j 2003 |e 4 |h 583-604 |g 22 |
author_variant |
e c ec |
---|---|
matchkey_str |
article:01290541:2003----::btatoadoneeapeuddeieetnoece |
hierarchy_sort_str |
2003 |
publishDate |
2003 |
allfields |
SWAA11 (DE-627)OLC1681938103 (DE-599)GBVOLC1681938103 DE-627 ger DE-627 rakwb 004 Clarke, Edmund verfasserin aut Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems 2003 22 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Fehnker, Ansgar oth Han, Zhi oth Krogh, Bruce oth Ouaknine, J. oth Stursberg, Olaf oth Theobald, Michael oth Enthalten in International journal of foundations of computer science Singapore [u.a.] : World Scient., 1990 14(2003), 4, Seite 583-604 (DE-627)130975788 (DE-600)1072902-1 (DE-576)027064948 0129-0541 nnns volume:14 year:2003 number:4 pages:583-604 extent:22 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_22 GBV_ILN_24 GBV_ILN_65 GBV_ILN_70 GBV_ILN_100 GBV_ILN_2015 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4027 GBV_ILN_4266 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4318 GBV_ILN_4324 AR 14 2003 4 583-604 22 |
spelling |
SWAA11 (DE-627)OLC1681938103 (DE-599)GBVOLC1681938103 DE-627 ger DE-627 rakwb 004 Clarke, Edmund verfasserin aut Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems 2003 22 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Fehnker, Ansgar oth Han, Zhi oth Krogh, Bruce oth Ouaknine, J. oth Stursberg, Olaf oth Theobald, Michael oth Enthalten in International journal of foundations of computer science Singapore [u.a.] : World Scient., 1990 14(2003), 4, Seite 583-604 (DE-627)130975788 (DE-600)1072902-1 (DE-576)027064948 0129-0541 nnns volume:14 year:2003 number:4 pages:583-604 extent:22 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_22 GBV_ILN_24 GBV_ILN_65 GBV_ILN_70 GBV_ILN_100 GBV_ILN_2015 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4027 GBV_ILN_4266 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4318 GBV_ILN_4324 AR 14 2003 4 583-604 22 |
allfields_unstemmed |
SWAA11 (DE-627)OLC1681938103 (DE-599)GBVOLC1681938103 DE-627 ger DE-627 rakwb 004 Clarke, Edmund verfasserin aut Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems 2003 22 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Fehnker, Ansgar oth Han, Zhi oth Krogh, Bruce oth Ouaknine, J. oth Stursberg, Olaf oth Theobald, Michael oth Enthalten in International journal of foundations of computer science Singapore [u.a.] : World Scient., 1990 14(2003), 4, Seite 583-604 (DE-627)130975788 (DE-600)1072902-1 (DE-576)027064948 0129-0541 nnns volume:14 year:2003 number:4 pages:583-604 extent:22 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_22 GBV_ILN_24 GBV_ILN_65 GBV_ILN_70 GBV_ILN_100 GBV_ILN_2015 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4027 GBV_ILN_4266 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4318 GBV_ILN_4324 AR 14 2003 4 583-604 22 |
allfieldsGer |
SWAA11 (DE-627)OLC1681938103 (DE-599)GBVOLC1681938103 DE-627 ger DE-627 rakwb 004 Clarke, Edmund verfasserin aut Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems 2003 22 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Fehnker, Ansgar oth Han, Zhi oth Krogh, Bruce oth Ouaknine, J. oth Stursberg, Olaf oth Theobald, Michael oth Enthalten in International journal of foundations of computer science Singapore [u.a.] : World Scient., 1990 14(2003), 4, Seite 583-604 (DE-627)130975788 (DE-600)1072902-1 (DE-576)027064948 0129-0541 nnns volume:14 year:2003 number:4 pages:583-604 extent:22 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_22 GBV_ILN_24 GBV_ILN_65 GBV_ILN_70 GBV_ILN_100 GBV_ILN_2015 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4027 GBV_ILN_4266 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4318 GBV_ILN_4324 AR 14 2003 4 583-604 22 |
allfieldsSound |
SWAA11 (DE-627)OLC1681938103 (DE-599)GBVOLC1681938103 DE-627 ger DE-627 rakwb 004 Clarke, Edmund verfasserin aut Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems 2003 22 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Fehnker, Ansgar oth Han, Zhi oth Krogh, Bruce oth Ouaknine, J. oth Stursberg, Olaf oth Theobald, Michael oth Enthalten in International journal of foundations of computer science Singapore [u.a.] : World Scient., 1990 14(2003), 4, Seite 583-604 (DE-627)130975788 (DE-600)1072902-1 (DE-576)027064948 0129-0541 nnns volume:14 year:2003 number:4 pages:583-604 extent:22 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_22 GBV_ILN_24 GBV_ILN_65 GBV_ILN_70 GBV_ILN_100 GBV_ILN_2015 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4027 GBV_ILN_4266 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4318 GBV_ILN_4324 AR 14 2003 4 583-604 22 |
source |
Enthalten in International journal of foundations of computer science 14(2003), 4, Seite 583-604 volume:14 year:2003 number:4 pages:583-604 extent:22 |
sourceStr |
Enthalten in International journal of foundations of computer science 14(2003), 4, Seite 583-604 volume:14 year:2003 number:4 pages:583-604 extent:22 |
format_phy_str_mv |
Article |
institution |
findex.gbv.de |
dewey-raw |
004 |
isfreeaccess_bool |
false |
container_title |
International journal of foundations of computer science |
authorswithroles_txt_mv |
Clarke, Edmund @@aut@@ Fehnker, Ansgar @@oth@@ Han, Zhi @@oth@@ Krogh, Bruce @@oth@@ Ouaknine, J. @@oth@@ Stursberg, Olaf @@oth@@ Theobald, Michael @@oth@@ |
publishDateDaySort_date |
2003-01-01T00:00:00Z |
hierarchy_top_id |
130975788 |
dewey-sort |
14 |
id |
OLC1681938103 |
fullrecord |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC1681938103</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230707185612.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">051028s2003 xx ||||| 00| ||und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">SWAA11</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1681938103</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1681938103</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Clarke, Edmund</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">22</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fehnker, Ansgar</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Han, Zhi</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Krogh, Bruce</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ouaknine, J.</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Stursberg, Olaf</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Theobald, Michael</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">International journal of foundations of computer science</subfield><subfield code="d">Singapore [u.a.] : World Scient., 1990</subfield><subfield code="g">14(2003), 4, Seite 583-604</subfield><subfield code="w">(DE-627)130975788</subfield><subfield code="w">(DE-600)1072902-1</subfield><subfield code="w">(DE-576)027064948</subfield><subfield code="x">0129-0541</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:14</subfield><subfield code="g">year:2003</subfield><subfield code="g">number:4</subfield><subfield code="g">pages:583-604</subfield><subfield code="g">extent:22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_24</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_65</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_100</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2190</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2244</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4027</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4266</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4305</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4306</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4307</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4318</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4324</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">14</subfield><subfield code="j">2003</subfield><subfield code="e">4</subfield><subfield code="h">583-604</subfield><subfield code="g">22</subfield></datafield></record></collection>
|
author |
Clarke, Edmund |
spellingShingle |
Clarke, Edmund ddc 004 Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems |
authorStr |
Clarke, Edmund |
ppnlink_with_tag_str_mv |
@@773@@(DE-627)130975788 |
format |
Article |
dewey-ones |
004 - Data processing & computer science |
delete_txt_mv |
keep |
author_role |
aut |
collection |
OLC |
remote_str |
false |
illustrated |
Not Illustrated |
issn |
0129-0541 |
topic_title |
004 Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems |
topic |
ddc 004 |
topic_unstemmed |
ddc 004 |
topic_browse |
ddc 004 |
format_facet |
Aufsätze Gedruckte Aufsätze |
format_main_str_mv |
Text Zeitschrift/Artikel |
carriertype_str_mv |
nc |
author2_variant |
a f af z h zh b k bk j o jo o s os m t mt |
hierarchy_parent_title |
International journal of foundations of computer science |
hierarchy_parent_id |
130975788 |
dewey-tens |
000 - Computer science, knowledge & systems |
hierarchy_top_title |
International journal of foundations of computer science |
isfreeaccess_txt |
false |
familylinks_str_mv |
(DE-627)130975788 (DE-600)1072902-1 (DE-576)027064948 |
title |
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems |
ctrlnum |
(DE-627)OLC1681938103 (DE-599)GBVOLC1681938103 |
title_full |
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems |
author_sort |
Clarke, Edmund |
journal |
International journal of foundations of computer science |
journalStr |
International journal of foundations of computer science |
isOA_bool |
false |
dewey-hundreds |
000 - Computer science, information & general works |
recordtype |
marc |
publishDateSort |
2003 |
contenttype_str_mv |
txt |
container_start_page |
583 |
author_browse |
Clarke, Edmund |
container_volume |
14 |
physical |
22 |
class |
004 |
format_se |
Aufsätze |
author-letter |
Clarke, Edmund |
dewey-full |
004 |
title_sort |
abstraction and counterexample-guided refinement in model checking of hybrid systems |
title_auth |
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems |
collection_details |
GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-MAT GBV_ILN_22 GBV_ILN_24 GBV_ILN_65 GBV_ILN_70 GBV_ILN_100 GBV_ILN_2015 GBV_ILN_2190 GBV_ILN_2244 GBV_ILN_4027 GBV_ILN_4266 GBV_ILN_4305 GBV_ILN_4306 GBV_ILN_4307 GBV_ILN_4318 GBV_ILN_4324 |
container_issue |
4 |
title_short |
Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems |
remote_bool |
false |
author2 |
Fehnker, Ansgar Han, Zhi Krogh, Bruce Ouaknine, J. Stursberg, Olaf Theobald, Michael |
author2Str |
Fehnker, Ansgar Han, Zhi Krogh, Bruce Ouaknine, J. Stursberg, Olaf Theobald, Michael |
ppnlink |
130975788 |
mediatype_str_mv |
n |
isOA_txt |
false |
hochschulschrift_bool |
false |
author2_role |
oth oth oth oth oth oth |
up_date |
2024-07-03T21:32:41.423Z |
_version_ |
1803595139171483649 |
fullrecord_marcxml |
<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01000caa a22002652 4500</leader><controlfield tag="001">OLC1681938103</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20230707185612.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">051028s2003 xx ||||| 00| ||und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">SWAA11</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1681938103</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1681938103</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-627</subfield><subfield code="b">ger</subfield><subfield code="c">DE-627</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">004</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Clarke, Edmund</subfield><subfield code="e">verfasserin</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">22</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">Text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">ohne Hilfsmittel zu benutzen</subfield><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">Band</subfield><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fehnker, Ansgar</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Han, Zhi</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Krogh, Bruce</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ouaknine, J.</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Stursberg, Olaf</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Theobald, Michael</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">International journal of foundations of computer science</subfield><subfield code="d">Singapore [u.a.] : World Scient., 1990</subfield><subfield code="g">14(2003), 4, Seite 583-604</subfield><subfield code="w">(DE-627)130975788</subfield><subfield code="w">(DE-600)1072902-1</subfield><subfield code="w">(DE-576)027064948</subfield><subfield code="x">0129-0541</subfield><subfield code="7">nnns</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:14</subfield><subfield code="g">year:2003</subfield><subfield code="g">number:4</subfield><subfield code="g">pages:583-604</subfield><subfield code="g">extent:22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_USEFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SYSFLAG_A</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_OLC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_22</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_24</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_65</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_70</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_100</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2015</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2190</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2244</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4027</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4266</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4305</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4306</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4307</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4318</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4324</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">14</subfield><subfield code="j">2003</subfield><subfield code="e">4</subfield><subfield code="h">583-604</subfield><subfield code="g">22</subfield></datafield></record></collection>
|
score |
7.400568 |