Verification of infinite-state systems with applications to security: [electronic resource] /: edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.

Clarke, Edmund.; Minea, Marius.; Ţiplea, Ferucio Laurenţiu.

Verification of infinite-state systems with applications to security [electronic resource] / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.

NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timaşoara, Romania); Clarke, Edmund.; Minea, Marius.; Ţiplea, Ferucio Laurenţiu.

2006

Q295 .N38 2006eb

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Linked e-resources

Linked Resource

Online Access

Details

Title

Verification of infinite-state systems with applications to security [electronic resource] / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.

Meeting Name

NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timaşoara, Romania)

ISBN

1586035703

Publication Details

Amsterdam ; Washington, D.C. : IOS Press, c2006.

Language

English

Description

vii, 235 p. : ill.

Call Number

Q295 .N38 2006eb

Dewey Decimal Classification

005.8

Note

Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.

Bibliography, etc. Note

Includes bibliographical references and author index.

Access Note

Access limited to authorized users.

Added Author

Clarke, Edmund.
Minea, Marius.
Ţiplea, Ferucio Laurenţiu.

Series

NATO security through science series. D, Information and communication security ; v. 1.

Linked Resources

Online Access

Record Appears in

Online Resources > Ebooks
All Resources