Model Checking: Back and Forth between Hardware and Software
Autor*in: |
Clarke, Edmund [verfasserIn] |
---|
Format: |
Artikel |
---|
Erschienen: |
2008 |
---|
Umfang: |
5 |
---|
Übergeordnetes Werk: |
Enthalten in: Lecture notes in computer science - Berlin, Germany : Springer, 1973, 4171(2008), Seite 251-255 |
---|---|
Übergeordnetes Werk: |
volume:4171 ; year:2008 ; pages:251-255 ; extent:5 |
Katalog-ID: |
OLC1797045865 |
---|
LEADER | 01000caa a22002652 4500 | ||
---|---|---|---|
001 | OLC1797045865 | ||
003 | DE-627 | ||
005 | 20220224094340.0 | ||
007 | tu | ||
008 | 080716s2008 xx ||||| 00| ||und c | ||
028 | 5 | 2 | |a sw080716 |
035 | |a (DE-627)OLC1797045865 | ||
035 | |a (DE-599)GBVOLC1797045865 | ||
040 | |a DE-627 |b ger |c DE-627 |e rakwb | ||
082 | 0 | 4 | |a 004 |a 620 |
082 | 0 | 4 | |a 620 |q AVZ |
100 | 1 | |a Clarke, Edmund |e verfasserin |4 aut | |
245 | 1 | 0 | |a Model Checking: Back and Forth between Hardware and Software |
264 | 1 | |c 2008 | |
300 | |a 5 | ||
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 Gupta, Anubhav |4 oth | |
700 | 1 | |a Jain, Himanshu |4 oth | |
700 | 1 | |a Veith, Helmut |4 oth | |
773 | 0 | 8 | |i Enthalten in |t Lecture notes in computer science |d Berlin, Germany : Springer, 1973 |g 4171(2008), Seite 251-255 |w (DE-627)129300152 |w (DE-600)121909-1 |w (DE-576)014492687 |x 0302-9743 |
773 | 1 | 8 | |g volume:4171 |g year:2008 |g pages:251-255 |g extent:5 |
912 | |a GBV_USEFLAG_A | ||
912 | |a SYSFLAG_A | ||
912 | |a GBV_OLC | ||
912 | |a SSG-OLC-TEC | ||
912 | |a SSG-OLC-MAT | ||
912 | |a SSG-OPC-BBI | ||
912 | |a GBV_ILN_70 | ||
912 | |a GBV_ILN_2018 | ||
912 | |a GBV_ILN_4219 | ||
951 | |a AR | ||
952 | |d 4171 |j 2008 |h 251-255 |g 5 |
author_variant |
e c ec |
---|---|
matchkey_str |
article:03029743:2008----::oeceknbcadotbtenad |
hierarchy_sort_str |
2008 |
publishDate |
2008 |
allfields |
sw080716 (DE-627)OLC1797045865 (DE-599)GBVOLC1797045865 DE-627 ger DE-627 rakwb 004 620 620 AVZ Clarke, Edmund verfasserin aut Model Checking: Back and Forth between Hardware and Software 2008 5 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Gupta, Anubhav oth Jain, Himanshu oth Veith, Helmut oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 4171(2008), Seite 251-255 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:4171 year:2008 pages:251-255 extent:5 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_2018 GBV_ILN_4219 AR 4171 2008 251-255 5 |
spelling |
sw080716 (DE-627)OLC1797045865 (DE-599)GBVOLC1797045865 DE-627 ger DE-627 rakwb 004 620 620 AVZ Clarke, Edmund verfasserin aut Model Checking: Back and Forth between Hardware and Software 2008 5 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Gupta, Anubhav oth Jain, Himanshu oth Veith, Helmut oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 4171(2008), Seite 251-255 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:4171 year:2008 pages:251-255 extent:5 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_2018 GBV_ILN_4219 AR 4171 2008 251-255 5 |
allfields_unstemmed |
sw080716 (DE-627)OLC1797045865 (DE-599)GBVOLC1797045865 DE-627 ger DE-627 rakwb 004 620 620 AVZ Clarke, Edmund verfasserin aut Model Checking: Back and Forth between Hardware and Software 2008 5 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Gupta, Anubhav oth Jain, Himanshu oth Veith, Helmut oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 4171(2008), Seite 251-255 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:4171 year:2008 pages:251-255 extent:5 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_2018 GBV_ILN_4219 AR 4171 2008 251-255 5 |
allfieldsGer |
sw080716 (DE-627)OLC1797045865 (DE-599)GBVOLC1797045865 DE-627 ger DE-627 rakwb 004 620 620 AVZ Clarke, Edmund verfasserin aut Model Checking: Back and Forth between Hardware and Software 2008 5 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Gupta, Anubhav oth Jain, Himanshu oth Veith, Helmut oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 4171(2008), Seite 251-255 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:4171 year:2008 pages:251-255 extent:5 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_2018 GBV_ILN_4219 AR 4171 2008 251-255 5 |
allfieldsSound |
sw080716 (DE-627)OLC1797045865 (DE-599)GBVOLC1797045865 DE-627 ger DE-627 rakwb 004 620 620 AVZ Clarke, Edmund verfasserin aut Model Checking: Back and Forth between Hardware and Software 2008 5 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Gupta, Anubhav oth Jain, Himanshu oth Veith, Helmut oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 4171(2008), Seite 251-255 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:4171 year:2008 pages:251-255 extent:5 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_2018 GBV_ILN_4219 AR 4171 2008 251-255 5 |
source |
Enthalten in Lecture notes in computer science 4171(2008), Seite 251-255 volume:4171 year:2008 pages:251-255 extent:5 |
sourceStr |
Enthalten in Lecture notes in computer science 4171(2008), Seite 251-255 volume:4171 year:2008 pages:251-255 extent:5 |
format_phy_str_mv |
Article |
institution |
findex.gbv.de |
dewey-raw |
004 |
isfreeaccess_bool |
false |
container_title |
Lecture notes in computer science |
authorswithroles_txt_mv |
Clarke, Edmund @@aut@@ Gupta, Anubhav @@oth@@ Jain, Himanshu @@oth@@ Veith, Helmut @@oth@@ |
publishDateDaySort_date |
2008-01-01T00:00:00Z |
hierarchy_top_id |
129300152 |
dewey-sort |
14 |
id |
OLC1797045865 |
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">OLC1797045865</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220224094340.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">080716s2008 xx ||||| 00| ||und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">sw080716</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1797045865</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1797045865</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><subfield code="a">620</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">620</subfield><subfield code="q">AVZ</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">Model Checking: Back and Forth between Hardware and Software</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">5</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">Gupta, Anubhav</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jain, Himanshu</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Veith, Helmut</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Lecture notes in computer science</subfield><subfield code="d">Berlin, Germany : Springer, 1973</subfield><subfield code="g">4171(2008), Seite 251-255</subfield><subfield code="w">(DE-627)129300152</subfield><subfield code="w">(DE-600)121909-1</subfield><subfield code="w">(DE-576)014492687</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:4171</subfield><subfield code="g">year:2008</subfield><subfield code="g">pages:251-255</subfield><subfield code="g">extent:5</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-TEC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-BBI</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_2018</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4219</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">4171</subfield><subfield code="j">2008</subfield><subfield code="h">251-255</subfield><subfield code="g">5</subfield></datafield></record></collection>
|
author |
Clarke, Edmund |
spellingShingle |
Clarke, Edmund ddc 004 ddc 620 Model Checking: Back and Forth between Hardware and Software |
authorStr |
Clarke, Edmund |
ppnlink_with_tag_str_mv |
@@773@@(DE-627)129300152 |
format |
Article |
dewey-ones |
004 - Data processing & computer science 620 - Engineering & allied operations |
delete_txt_mv |
keep |
author_role |
aut |
collection |
OLC |
remote_str |
false |
illustrated |
Not Illustrated |
issn |
0302-9743 |
topic_title |
004 620 620 AVZ Model Checking: Back and Forth between Hardware and Software |
topic |
ddc 004 ddc 620 |
topic_unstemmed |
ddc 004 ddc 620 |
topic_browse |
ddc 004 ddc 620 |
format_facet |
Aufsätze Gedruckte Aufsätze |
format_main_str_mv |
Text Zeitschrift/Artikel |
carriertype_str_mv |
nc |
author2_variant |
a g ag h j hj h v hv |
hierarchy_parent_title |
Lecture notes in computer science |
hierarchy_parent_id |
129300152 |
dewey-tens |
000 - Computer science, knowledge & systems 620 - Engineering |
hierarchy_top_title |
Lecture notes in computer science |
isfreeaccess_txt |
false |
familylinks_str_mv |
(DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 |
title |
Model Checking: Back and Forth between Hardware and Software |
ctrlnum |
(DE-627)OLC1797045865 (DE-599)GBVOLC1797045865 |
title_full |
Model Checking: Back and Forth between Hardware and Software |
author_sort |
Clarke, Edmund |
journal |
Lecture notes in computer science |
journalStr |
Lecture notes in computer science |
isOA_bool |
false |
dewey-hundreds |
000 - Computer science, information & general works 600 - Technology |
recordtype |
marc |
publishDateSort |
2008 |
contenttype_str_mv |
txt |
container_start_page |
251 |
author_browse |
Clarke, Edmund |
container_volume |
4171 |
physical |
5 |
class |
004 620 620 AVZ |
format_se |
Aufsätze |
author-letter |
Clarke, Edmund |
dewey-full |
004 620 |
title_sort |
model checking: back and forth between hardware and software |
title_auth |
Model Checking: Back and Forth between Hardware and Software |
collection_details |
GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_2018 GBV_ILN_4219 |
title_short |
Model Checking: Back and Forth between Hardware and Software |
remote_bool |
false |
author2 |
Gupta, Anubhav Jain, Himanshu Veith, Helmut |
author2Str |
Gupta, Anubhav Jain, Himanshu Veith, Helmut |
ppnlink |
129300152 |
mediatype_str_mv |
n |
isOA_txt |
false |
hochschulschrift_bool |
false |
author2_role |
oth oth oth |
up_date |
2024-07-03T19:00:17.921Z |
_version_ |
1803585551513681920 |
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">OLC1797045865</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220224094340.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">080716s2008 xx ||||| 00| ||und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">sw080716</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1797045865</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1797045865</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><subfield code="a">620</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">620</subfield><subfield code="q">AVZ</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">Model Checking: Back and Forth between Hardware and Software</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">5</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">Gupta, Anubhav</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jain, Himanshu</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Veith, Helmut</subfield><subfield code="4">oth</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="i">Enthalten in</subfield><subfield code="t">Lecture notes in computer science</subfield><subfield code="d">Berlin, Germany : Springer, 1973</subfield><subfield code="g">4171(2008), Seite 251-255</subfield><subfield code="w">(DE-627)129300152</subfield><subfield code="w">(DE-600)121909-1</subfield><subfield code="w">(DE-576)014492687</subfield><subfield code="x">0302-9743</subfield></datafield><datafield tag="773" ind1="1" ind2="8"><subfield code="g">volume:4171</subfield><subfield code="g">year:2008</subfield><subfield code="g">pages:251-255</subfield><subfield code="g">extent:5</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-TEC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OLC-MAT</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">SSG-OPC-BBI</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_2018</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_4219</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">4171</subfield><subfield code="j">2008</subfield><subfield code="h">251-255</subfield><subfield code="g">5</subfield></datafield></record></collection>
|
score |
7.399356 |