Verification of infinite-state systems with applications to security
By: edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.
Contributors: Clarke, Edmund.; Minea, Marius.; Ţiplea, Ferucio Laurenţiu; NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timaşoara, Romania)
Series: NATO security through science series -- vol. 1
Publisher: IOS Press
Published: 2006
Place of publication: Amsterdam; Washington, D.C
Language: eng
Number of pages: 235
Subjects: System theory -- Mathematical models -- Congresses.; System theory -- Security measures -- Congresses.; Computer security -- Congresses.; Computer software -- Verification. -- Congresses.
Genres: Congresses.
Notes: Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.

Includes bibliographical references and author index.