Software - ...the Right Tooling - Progress on the State Explosion Problem in Model Checking

Gespeichert in:

Autor*in:	Clarke, Edmund [verfasserIn] Grumberg, Orna Jha, Somesh Lu, Yuan Veith, Helmut

Format:	Artikel

Erschienen:	2001

Umfang:	19

Übergeordnetes Werk:	Enthalten in: Lecture notes in computer science - Berlin, Germany : Springer, 1973, 2000(2001), Seite 176-194
Übergeordnetes Werk:	volume:2000 ; year:2001 ; pages:176-194 ; extent:19

Katalog-ID:	OLC1599076519

Internformat


LEADER	01000caa a22002652 4500
001	OLC1599076519
003	DE-627
005	20220224085558.0
007	tu
008	010226s2001 xx \|\|\|\|\| 00\| \|\|und c
028	5	2	\|a SW010226
035			\|a (DE-627)OLC1599076519
035			\|a (DE-599)GBVOLC1599076519
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 Software - ...the Right Tooling - Progress on the State Explosion Problem in Model Checking
264		1	\|c 2001
300			\|a 19
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 Grumberg, Orna \|4 oth
700	1		\|a Jha, Somesh \|4 oth
700	1		\|a Lu, Yuan \|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 2000(2001), Seite 176-194 \|w (DE-627)129300152 \|w (DE-600)121909-1 \|w (DE-576)014492687 \|x 0302-9743
773	1	8	\|g volume:2000 \|g year:2001 \|g pages:176-194 \|g extent:19
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_105
912			\|a GBV_ILN_2018
951			\|a AR
952			\|d 2000 \|j 2001 \|h 176-194 \|g 19

Indexfelder

author_variant	e c ec
matchkey_str	article:03029743:2001----::otaehrgtolnporsotettepoinrb
hierarchy_sort_str	2001
publishDate	2001
allfields	SW010226 (DE-627)OLC1599076519 (DE-599)GBVOLC1599076519 DE-627 ger DE-627 rakwb 004 620 620 AVZ Clarke, Edmund verfasserin aut Software - ...the Right Tooling - Progress on the State Explosion Problem in Model Checking 2001 19 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Grumberg, Orna oth Jha, Somesh oth Lu, Yuan oth Veith, Helmut oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 2000(2001), Seite 176-194 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:2000 year:2001 pages:176-194 extent:19 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 AR 2000 2001 176-194 19
spelling	SW010226 (DE-627)OLC1599076519 (DE-599)GBVOLC1599076519 DE-627 ger DE-627 rakwb 004 620 620 AVZ Clarke, Edmund verfasserin aut Software - ...the Right Tooling - Progress on the State Explosion Problem in Model Checking 2001 19 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Grumberg, Orna oth Jha, Somesh oth Lu, Yuan oth Veith, Helmut oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 2000(2001), Seite 176-194 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:2000 year:2001 pages:176-194 extent:19 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 AR 2000 2001 176-194 19
allfields_unstemmed	SW010226 (DE-627)OLC1599076519 (DE-599)GBVOLC1599076519 DE-627 ger DE-627 rakwb 004 620 620 AVZ Clarke, Edmund verfasserin aut Software - ...the Right Tooling - Progress on the State Explosion Problem in Model Checking 2001 19 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Grumberg, Orna oth Jha, Somesh oth Lu, Yuan oth Veith, Helmut oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 2000(2001), Seite 176-194 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:2000 year:2001 pages:176-194 extent:19 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 AR 2000 2001 176-194 19
allfieldsGer	SW010226 (DE-627)OLC1599076519 (DE-599)GBVOLC1599076519 DE-627 ger DE-627 rakwb 004 620 620 AVZ Clarke, Edmund verfasserin aut Software - ...the Right Tooling - Progress on the State Explosion Problem in Model Checking 2001 19 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Grumberg, Orna oth Jha, Somesh oth Lu, Yuan oth Veith, Helmut oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 2000(2001), Seite 176-194 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:2000 year:2001 pages:176-194 extent:19 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 AR 2000 2001 176-194 19
allfieldsSound	SW010226 (DE-627)OLC1599076519 (DE-599)GBVOLC1599076519 DE-627 ger DE-627 rakwb 004 620 620 AVZ Clarke, Edmund verfasserin aut Software - ...the Right Tooling - Progress on the State Explosion Problem in Model Checking 2001 19 Text txt rdacontent ohne Hilfsmittel zu benutzen n rdamedia Band nc rdacarrier Grumberg, Orna oth Jha, Somesh oth Lu, Yuan oth Veith, Helmut oth Enthalten in Lecture notes in computer science Berlin, Germany : Springer, 1973 2000(2001), Seite 176-194 (DE-627)129300152 (DE-600)121909-1 (DE-576)014492687 0302-9743 volume:2000 year:2001 pages:176-194 extent:19 GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018 AR 2000 2001 176-194 19
source	Enthalten in Lecture notes in computer science 2000(2001), Seite 176-194 volume:2000 year:2001 pages:176-194 extent:19
sourceStr	Enthalten in Lecture notes in computer science 2000(2001), Seite 176-194 volume:2000 year:2001 pages:176-194 extent:19
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@@ Grumberg, Orna @@oth@@ Jha, Somesh @@oth@@ Lu, Yuan @@oth@@ Veith, Helmut @@oth@@
publishDateDaySort_date	2001-01-01T00:00:00Z
hierarchy_top_id	129300152
dewey-sort	14
id	OLC1599076519
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">OLC1599076519</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220224085558.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">010226s2001 xx \|\|\|\|\| 00\| \|\|und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">SW010226</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1599076519</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1599076519</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">Software - ...the Right Tooling - Progress on the State Explosion Problem in Model Checking</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">19</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">Grumberg, Orna</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jha, Somesh</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lu, Yuan</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">2000(2001), Seite 176-194</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:2000</subfield><subfield code="g">year:2001</subfield><subfield code="g">pages:176-194</subfield><subfield code="g">extent:19</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_105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2018</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">2000</subfield><subfield code="j">2001</subfield><subfield code="h">176-194</subfield><subfield code="g">19</subfield></datafield></record></collection>
author	Clarke, Edmund
spellingShingle	Clarke, Edmund ddc 004 ddc 620 Software - ...the Right Tooling - Progress on the State Explosion Problem in Model Checking
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 Software - ...the Right Tooling - Progress on the State Explosion Problem in Model Checking
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	o g og s j sj y l yl 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	Software - ...the Right Tooling - Progress on the State Explosion Problem in Model Checking
ctrlnum	(DE-627)OLC1599076519 (DE-599)GBVOLC1599076519
title_full	Software - ...the Right Tooling - Progress on the State Explosion Problem in Model Checking
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	2001
contenttype_str_mv	txt
container_start_page	176
author_browse	Clarke, Edmund
container_volume	2000
physical	19
class	004 620 620 AVZ
format_se	Aufsätze
author-letter	Clarke, Edmund
dewey-full	004 620
title_sort	software - ...the right tooling - progress on the state explosion problem in model checking
title_auth	Software - ...the Right Tooling - Progress on the State Explosion Problem in Model Checking
collection_details	GBV_USEFLAG_A SYSFLAG_A GBV_OLC SSG-OLC-TEC SSG-OLC-MAT SSG-OPC-BBI GBV_ILN_70 GBV_ILN_105 GBV_ILN_2018
title_short	Software - ...the Right Tooling - Progress on the State Explosion Problem in Model Checking
remote_bool	false
author2	Grumberg, Orna Jha, Somesh Lu, Yuan Veith, Helmut
author2Str	Grumberg, Orna Jha, Somesh Lu, Yuan Veith, Helmut
ppnlink	129300152
mediatype_str_mv	n
isOA_txt	false
hochschulschrift_bool	false
author2_role	oth oth oth oth
up_date	2024-07-04T01:09:14.362Z
_version_	1803608763256537088
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">OLC1599076519</controlfield><controlfield tag="003">DE-627</controlfield><controlfield tag="005">20220224085558.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">010226s2001 xx \|\|\|\|\| 00\| \|\|und c</controlfield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">SW010226</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-627)OLC1599076519</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBVOLC1599076519</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">Software - ...the Right Tooling - Progress on the State Explosion Problem in Model Checking</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">19</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">Grumberg, Orna</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Jha, Somesh</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lu, Yuan</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">2000(2001), Seite 176-194</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:2000</subfield><subfield code="g">year:2001</subfield><subfield code="g">pages:176-194</subfield><subfield code="g">extent:19</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_105</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">GBV_ILN_2018</subfield></datafield><datafield tag="951" ind1=" " ind2=" "><subfield code="a">AR</subfield></datafield><datafield tag="952" ind1=" " ind2=" "><subfield code="d">2000</subfield><subfield code="j">2001</subfield><subfield code="h">176-194</subfield><subfield code="g">19</subfield></datafield></record></collection>
score	7.4019356

Nicht das Richtige dabei?

Schreiben Sie uns!

Software - ...the Right Tooling - Progress on the State Explosion Problem in Model Checking

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?