Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems
Autor*in: |
Clarke, Edmund [verfasserIn] |
---|
Format: |
Artikel |
---|
Erschienen: |
2008 |
---|
Umfang: |
15 |
---|
Übergeordnetes Werk: |
Enthalten in: Lecture notes in computer science - Berlin, Germany : Springer, 1973, 4963(2008), Seite 33-47 |
---|---|
Übergeordnetes Werk: |
volume:4963 ; year:2008 ; pages:33-47 ; extent:15 |
Katalog-ID: |
OLC1790810698 |
---|
LEADER | 01000caa a22002652 4500 | ||
---|---|---|---|
001 | OLC1790810698 | ||
003 | DE-627 | ||
005 | 20220224094658.0 | ||
007 | tu | ||
008 | 080403s2008 xx ||||| 00| ||und c | ||
028 | 5 | 2 | |a sw080403 |
035 | |a (DE-627)OLC1790810698 | ||
035 | |a (DE-599)GBVOLC1790810698 | ||
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 Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems |
264 | 1 | |c 2008 | |
300 | |a 15 | ||
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 Talupur, Murali |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 4963(2008), Seite 33-47 |w (DE-627)129300152 |w (DE-600)121909-1 |w (DE-576)014492687 |x 0302-9743 |
773 | 1 | 8 | |g volume:4963 |g year:2008 |g pages:33-47 |g extent:15 |
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 4963 |j 2008 |h 33-47 |g 15 |
author_variant |
e c ec |
---|---|
matchkey_str |
article:03029743:2008----::rvnpoeyihteniomnasrcinrmwrfroec |
hierarchy_sort_str |
2008 |
publishDate |
2008 |
allfields |
sw080403 (DE-627)OLC1790810698 (DE-599)GBVOLC1790810698 DE-627 ger DE-627 rakwb 004 620 620 AVZ Clarke, Edmund verfasserin aut Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems 2008 15 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Talupur, Murali oth Veith, Helmut oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 4963(2008), Seite 33-47 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:4963 year:2008 pages:33-47 extent:15 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 4963 2008 33-47 15 |
spelling |
sw080403 (DE-627)OLC1790810698 (DE-599)GBVOLC1790810698 DE-627 ger DE-627 rakwb 004 620 620 AVZ Clarke, Edmund verfasserin aut Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems 2008 15 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Talupur, Murali oth Veith, Helmut oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 4963(2008), Seite 33-47 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:4963 year:2008 pages:33-47 extent:15 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 4963 2008 33-47 15 |
allfields_unstemmed |
sw080403 (DE-627)OLC1790810698 (DE-599)GBVOLC1790810698 DE-627 ger DE-627 rakwb 004 620 620 AVZ Clarke, Edmund verfasserin aut Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems 2008 15 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Talupur, Murali oth Veith, Helmut oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 4963(2008), Seite 33-47 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:4963 year:2008 pages:33-47 extent:15 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 4963 2008 33-47 15 |
allfieldsGer |
sw080403 (DE-627)OLC1790810698 (DE-599)GBVOLC1790810698 DE-627 ger DE-627 rakwb 004 620 620 AVZ Clarke, Edmund verfasserin aut Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems 2008 15 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Talupur, Murali oth Veith, Helmut oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 4963(2008), Seite 33-47 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:4963 year:2008 pages:33-47 extent:15 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 4963 2008 33-47 15 |
allfieldsSound |
sw080403 (DE-627)OLC1790810698 (DE-599)GBVOLC1790810698 DE-627 ger DE-627 rakwb 004 620 620 AVZ Clarke, Edmund verfasserin aut Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems 2008 15 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Talupur, Murali oth Veith, Helmut oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 4963(2008), Seite 33-47 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:4963 year:2008 pages:33-47 extent:15 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 4963 2008 33-47 15 |
source |
Enthalten in Lecture notes in computer science 4963(2008), Seite 33-47 volume:4963 year:2008 pages:33-47 extent:15 |
sourceStr |
Enthalten in Lecture notes in computer science 4963(2008), Seite 33-47 volume:4963 year:2008 pages:33-47 extent:15 |
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@@ Talupur, Murali @@oth@@ Veith, Helmut @@oth@@ |
publishDateDaySort_date |
2008-01-01T00:00:00Z |
hierarchy_top_id |
129300152 |
dewey-sort |
14 |
id |
OLC1790810698 |
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">OLC1790810698</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220224094658.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">080403s2008 xx ||||| 00| ||und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">sw080403</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1790810698</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1790810698</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">Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">15</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">Talupur, Murali</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">4963(2008), Seite 33-47</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:4963</subfield><subfield code="g">year:2008</subfield><subfield code="g">pages:33-47</subfield><subfield code="g">extent:15</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">4963</subfield><subfield code="j">2008</subfield><subfield code="h">33-47</subfield><subfield code="g">15</subfield></datafield></record></collection>
|
author |
Clarke, Edmund |
spellingShingle |
Clarke, Edmund ddc 004 ddc 620 Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems |
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 Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems |
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 |
m t mt 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 |
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems |
ctrlnum |
(DE-627)OLC1790810698 (DE-599)GBVOLC1790810698 |
title_full |
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems |
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 |
33 |
author_browse |
Clarke, Edmund |
container_volume |
4963 |
physical |
15 |
class |
004 620 620 AVZ |
format_se |
Aufsätze |
author-letter |
Clarke, Edmund |
dewey-full |
004 620 |
title_sort |
proving ptolemy right: the environment abstraction framework for model checking concurrent systems |
title_auth |
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems |
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 |
Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems |
remote_bool |
false |
author2 |
Talupur, Murali Veith, Helmut |
author2Str |
Talupur, Murali Veith, Helmut |
ppnlink |
129300152 |
mediatype_str_mv |
n |
isOA_txt |
false |
hochschulschrift_bool |
false |
author2_role |
oth oth |
up_date |
2024-07-03T17:24:48.579Z |
_version_ |
1803579543866310656 |
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">OLC1790810698</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220224094658.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">080403s2008 xx ||||| 00| ||und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">sw080403</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1790810698</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1790810698</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">Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2008</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">15</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">Talupur, Murali</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">4963(2008), Seite 33-47</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:4963</subfield><subfield code="g">year:2008</subfield><subfield code="g">pages:33-47</subfield><subfield code="g">extent:15</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">4963</subfield><subfield code="j">2008</subfield><subfield code="h">33-47</subfield><subfield code="g">15</subfield></datafield></record></collection>
|
score |
7.400464 |