Holdings: Automatic verification of sequential infinite state processes

Automatic verification of sequential infinite state processes:

Saved in:

Bibliographic Details
Main Author:	Burkart, Olaf (Author)
Format:	Electronic eBook
Language:	English
Published:	Berlin [u.a.] Springer 1997
Series:	Lecture notes in computer science 1354
Subjects:	Model Checking Modallogik Kellerautomat Verifikation Prozessalgebra Kontextfreie Grammatik Hochschulschrift
Online Access:	DE-91 DE-384 DE-19 DE-739 Volltext
Item Description:	Zugl.: Aachen, Techn. Hochsch., Diss., 1995
Physical Description:	1 Online-Ressource (X, 163 S.) graph. Darst.
ISBN:	3540639829
DOI:	10.1007/3-540-69678-4

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV035074154
003	DE-604
005	20180607
007	cr\|uuu---uuuuu
008	080929s1997 xx d\|\|\| o\|\|\|\| 00\|\|\| eng d
020			\|a 3540639829 \|9 3-540-63982-9
024	7		\|a 10.1007/3-540-69678-4 \|2 doi
035			\|a (OCoLC)246320129
035			\|a (DE-599)BVBBV035074154
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-19 \|a DE-91 \|a DE-739 \|a DE-384
084			\|a DAT 325f \|2 stub
100	1		\|a Burkart, Olaf \|e Verfasser \|4 aut
245	1	0	\|a Automatic verification of sequential infinite state processes \|c Olaf Burkart
246	1	3	\|a Automatic verification of sequential infinite-state processes
264		1	\|a Berlin [u.a.] \|b Springer \|c 1997
300			\|a 1 Online-Ressource (X, 163 S.) \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 1354
500			\|a Zugl.: Aachen, Techn. Hochsch., Diss., 1995
650	0	7	\|a Model Checking \|0 (DE-588)4434799-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Modallogik \|0 (DE-588)4074914-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Kellerautomat \|0 (DE-588)4325471-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verifikation \|0 (DE-588)4135577-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Prozessalgebra \|0 (DE-588)4283920-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Kontextfreie Grammatik \|0 (DE-588)4032281-6 \|2 gnd \|9 rswk-swf
655		7	\|8 1\p \|0 (DE-588)4113937-9 \|a Hochschulschrift \|2 gnd-content
689	0	0	\|a Kellerautomat \|0 (DE-588)4325471-8 \|D s
689	0	1	\|a Kontextfreie Grammatik \|0 (DE-588)4032281-6 \|D s
689	0	2	\|a Prozessalgebra \|0 (DE-588)4283920-8 \|D s
689	0	3	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	0	4	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	0	5	\|a Modallogik \|0 (DE-588)4074914-9 \|D s
689	0		\|5 DE-604
830		0	\|a Lecture notes in computer science \|v 1354 \|w (DE-604)BV014880109 \|9 1354
856	4	0	\|u https://doi.org/10.1007/3-540-69678-4 \|3 Volltext
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-016742502
966	e		\|u https://doi.org/10.1007/3-540-69678-4 \|l DE-91 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-69678-4 \|l DE-384 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-69678-4 \|l DE-19 \|p ZDB-2-LNC \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/3-540-69678-4 \|l DE-739 \|p ZDB-2-LNC \|x Verlag \|3 Volltext

Record in the Search Index

_version_	1820875071669927936
adam_text
adam_txt
any_adam_object
any_adam_object_boolean
author	Burkart, Olaf
author_facet	Burkart, Olaf
author_role	aut
author_sort	Burkart, Olaf
author_variant	o b ob
building	Verbundindex
bvnumber	BV035074154
classification_rvk	SS 4800
classification_tum	DAT 325f
collection	ZDB-2-LNC
ctrlnum	(OCoLC)246320129 (DE-599)BVBBV035074154
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/3-540-69678-4
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV035074154</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180607</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">080929s1997 xx d\|\|\| o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540639829</subfield><subfield code="9">3-540-63982-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/3-540-69678-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246320129</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035074154</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Burkart, Olaf</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Automatic verification of sequential infinite state processes</subfield><subfield code="c">Olaf Burkart</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Automatic verification of sequential infinite-state processes</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 163 S.)</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1354</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Aachen, Techn. Hochsch., Diss., 1995</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kellerautomat</subfield><subfield code="0">(DE-588)4325471-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kontextfreie Grammatik</subfield><subfield code="0">(DE-588)4032281-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Kellerautomat</subfield><subfield code="0">(DE-588)4325471-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Kontextfreie Grammatik</subfield><subfield code="0">(DE-588)4032281-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Prozessalgebra</subfield><subfield code="0">(DE-588)4283920-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1354</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">1354</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/3-540-69678-4</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-016742502</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-69678-4</subfield><subfield code="l">DE-91</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-69678-4</subfield><subfield code="l">DE-384</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-69678-4</subfield><subfield code="l">DE-19</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/3-540-69678-4</subfield><subfield code="l">DE-739</subfield><subfield code="p">ZDB-2-LNC</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
genre	1\p (DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet	Hochschulschrift
id	DE-604.BV035074154
illustrated	Illustrated
index_date	2024-07-02T22:05:00Z
indexdate	2025-01-10T15:09:49Z
institution	BVB
isbn	3540639829
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-016742502
oclc_num	246320129
open_access_boolean
owner	DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384
owner_facet	DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-384
physical	1 Online-Ressource (X, 163 S.) graph. Darst.
psigel	ZDB-2-LNC
publishDate	1997
publishDateSearch	1997
publishDateSort	1997
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Burkart, Olaf Verfasser aut Automatic verification of sequential infinite state processes Olaf Burkart Automatic verification of sequential infinite-state processes Berlin [u.a.] Springer 1997 1 Online-Ressource (X, 163 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 1354 Zugl.: Aachen, Techn. Hochsch., Diss., 1995 Model Checking (DE-588)4434799-6 gnd rswk-swf Modallogik (DE-588)4074914-9 gnd rswk-swf Kellerautomat (DE-588)4325471-8 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Prozessalgebra (DE-588)4283920-8 gnd rswk-swf Kontextfreie Grammatik (DE-588)4032281-6 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Kellerautomat (DE-588)4325471-8 s Kontextfreie Grammatik (DE-588)4032281-6 s Prozessalgebra (DE-588)4283920-8 s Verifikation (DE-588)4135577-5 s Model Checking (DE-588)4434799-6 s Modallogik (DE-588)4074914-9 s DE-604 Lecture notes in computer science 1354 (DE-604)BV014880109 1354 https://doi.org/10.1007/3-540-69678-4 Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Burkart, Olaf Automatic verification of sequential infinite state processes Lecture notes in computer science Model Checking (DE-588)4434799-6 gnd Modallogik (DE-588)4074914-9 gnd Kellerautomat (DE-588)4325471-8 gnd Verifikation (DE-588)4135577-5 gnd Prozessalgebra (DE-588)4283920-8 gnd Kontextfreie Grammatik (DE-588)4032281-6 gnd
subject_GND	(DE-588)4434799-6 (DE-588)4074914-9 (DE-588)4325471-8 (DE-588)4135577-5 (DE-588)4283920-8 (DE-588)4032281-6 (DE-588)4113937-9
title	Automatic verification of sequential infinite state processes
title_alt	Automatic verification of sequential infinite-state processes
title_auth	Automatic verification of sequential infinite state processes
title_exact_search	Automatic verification of sequential infinite state processes
title_exact_search_txtP	Automatic verification of sequential infinite state processes
title_full	Automatic verification of sequential infinite state processes Olaf Burkart
title_fullStr	Automatic verification of sequential infinite state processes Olaf Burkart
title_full_unstemmed	Automatic verification of sequential infinite state processes Olaf Burkart
title_short	Automatic verification of sequential infinite state processes
title_sort	automatic verification of sequential infinite state processes
topic	Model Checking (DE-588)4434799-6 gnd Modallogik (DE-588)4074914-9 gnd Kellerautomat (DE-588)4325471-8 gnd Verifikation (DE-588)4135577-5 gnd Prozessalgebra (DE-588)4283920-8 gnd Kontextfreie Grammatik (DE-588)4032281-6 gnd
topic_facet	Model Checking Modallogik Kellerautomat Verifikation Prozessalgebra Kontextfreie Grammatik Hochschulschrift
url	https://doi.org/10.1007/3-540-69678-4
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT burkartolaf automaticverificationofsequentialinfinitestateprocesses

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Get full text

MARC

Record in the Search Index

There is no print copy available.

Similar Items