Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

Gespeichert in:

Autor*in:	Clarke, Edmund [verfasserIn] Fehnker, Ansgar Han, Zhi Krogh, Bruce Ouaknine, J. Stursberg, Olaf Theobald, Michael

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

Internformat


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

Indexfelder

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

Nicht das Richtige dabei?

Schreiben Sie uns!

Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems

Nicht das Richtige dabei?

Zugang & Verfügbarkeit

Vorhandene Bände

Nicht das Richtige dabei?