Verification of infinite-state systems with applications to security

Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurentiu Tiplea.

Saved in:
Bibliographic Details
Superior document:NATO security through science series. D, Information and communication security ; vol. 1
:
NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timasoara, Romania)
TeilnehmendeR:
Clarke, Edmund.
Minea, Marius.
Tiplea, Ferucio Laurentiu.
ProQuest (Firm)
Year of Publication:2006
Language:English
Series:NATO security through science series. Information and communication security ; v. 1.
Online Access:
Physical Description:vii, 235 p. :; ill.
Notes:Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timasoara, Romania, March 17-22, 2005.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 500265966
ctrlnum (MiAaPQ)500265966
(Au-PeEL)EBL265966
(CaPaEBR)ebr10130654
(CaONFJC)MIL50510
(OCoLC)71251545
collection bib_alma
record_format marc
spelling NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timasoara, Romania)
Verification of infinite-state systems with applications to security [electronic resource] / edited by Edmund Clarke, Marius Minea and Ferucio Laurentiu Tiplea.
Amsterdam ; Washington, D.C. : IOS Press, c2006.
vii, 235 p. : ill.
NATO security through science series. D, Information and communication security ; vol. 1
Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timasoara, Romania, March 17-22, 2005.
Includes bibliographical references and author index.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
System theory Mathematical models Congresses.
System theory Security measures Congresses.
Computer security Congresses.
Computer software Verification Congresses.
Electronic books.
Clarke, Edmund.
Minea, Marius.
Tiplea, Ferucio Laurentiu.
ProQuest (Firm)
NATO security through science series. D, Information and communication security ; v. 1.
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=265966 Click to View
language English
format Electronic
Conference Proceeding
eBook
author2 Clarke, Edmund.
Minea, Marius.
Tiplea, Ferucio Laurentiu.
ProQuest (Firm)
author_facet Clarke, Edmund.
Minea, Marius.
Tiplea, Ferucio Laurentiu.
ProQuest (Firm)
NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timasoara, Romania)
ProQuest (Firm)
author2_variant e c ec
m m mm
f l t fl flt
author2_role TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
TeilnehmendeR
author_corporate NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timasoara, Romania)
ProQuest (Firm)
author_sort NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timasoara, Romania)
title Verification of infinite-state systems with applications to security
spellingShingle Verification of infinite-state systems with applications to security
NATO security through science series. D, Information and communication security ;
title_full Verification of infinite-state systems with applications to security [electronic resource] / edited by Edmund Clarke, Marius Minea and Ferucio Laurentiu Tiplea.
title_fullStr Verification of infinite-state systems with applications to security [electronic resource] / edited by Edmund Clarke, Marius Minea and Ferucio Laurentiu Tiplea.
title_full_unstemmed Verification of infinite-state systems with applications to security [electronic resource] / edited by Edmund Clarke, Marius Minea and Ferucio Laurentiu Tiplea.
title_auth Verification of infinite-state systems with applications to security
title_new Verification of infinite-state systems with applications to security
title_sort verification of infinite-state systems with applications to security
series NATO security through science series. D, Information and communication security ;
series2 NATO security through science series. D, Information and communication security ;
publisher IOS Press,
publishDate 2006
physical vii, 235 p. : ill.
callnumber-first Q - Science
callnumber-subject Q - General Science
callnumber-label Q295
callnumber-sort Q 3295 N38 42006
genre Electronic books.
genre_facet Congresses.
Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=265966
illustrated Illustrated
dewey-hundreds 000 - Computer science, information & general works
dewey-tens 000 - Computer science, knowledge & systems
dewey-ones 005 - Computer programming, programs & data
dewey-full 005.8
dewey-sort 15.8
dewey-raw 005.8
dewey-search 005.8
oclc_num 71251545
work_keys_str_mv AT natoadvancedresearchworkshoponverificationofinfinitestatesystemswithapplicationstosecuritytimasoararomania verificationofinfinitestatesystemswithapplicationstosecurity
AT clarkeedmund verificationofinfinitestatesystemswithapplicationstosecurity
AT mineamarius verificationofinfinitestatesystemswithapplicationstosecurity
AT tipleaferuciolaurentiu verificationofinfinitestatesystemswithapplicationstosecurity
AT proquestfirm verificationofinfinitestatesystemswithapplicationstosecurity
status_str n
ids_txt_mv (MiAaPQ)500265966
(Au-PeEL)EBL265966
(CaPaEBR)ebr10130654
(CaONFJC)MIL50510
(OCoLC)71251545
hierarchy_parent_title NATO security through science series. D, Information and communication security ; vol. 1
hierarchy_sequence v. 1.
is_hierarchy_title Verification of infinite-state systems with applications to security
container_title NATO security through science series. D, Information and communication security ; vol. 1
author2_original_writing_str_mv noLinkedField
noLinkedField
noLinkedField
noLinkedField
_version_ 1792330672938942464
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02107nam a2200445Ia 4500</leader><controlfield tag="001">500265966</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">060407s2006 ne a sb 101 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2005937272</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1586035703</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500265966</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL265966</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10130654</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL50510</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)71251545</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">Q295</subfield><subfield code="b">.N38 2006</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">005.8</subfield><subfield code="2">22</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security</subfield><subfield code="d">(2005 March 17-22 :</subfield><subfield code="c">Timasoara, Romania)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verification of infinite-state systems with applications to security</subfield><subfield code="h">[electronic resource] /</subfield><subfield code="c">edited by Edmund Clarke, Marius Minea and Ferucio Laurentiu Tiplea.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Amsterdam ;</subfield><subfield code="a">Washington, D.C. :</subfield><subfield code="b">IOS Press,</subfield><subfield code="c">c2006.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">vii, 235 p. :</subfield><subfield code="b">ill.</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">NATO security through science series. D, Information and communication security ;</subfield><subfield code="v">vol. 1</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timasoara, Romania, March 17-22, 2005.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and author index.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">System theory</subfield><subfield code="x">Mathematical models</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">System theory</subfield><subfield code="x">Security measures</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer security</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer software</subfield><subfield code="x">Verification</subfield><subfield code="v">Congresses.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Clarke, Edmund.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Minea, Marius.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Tiplea, Ferucio Laurentiu.</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">NATO security through science series.</subfield><subfield code="n">D,</subfield><subfield code="p">Information and communication security ;</subfield><subfield code="v">v. 1.</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=265966</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items