Verification of infinite-state systems with applications to security /

Bibliographic Details
Corporate Author:	NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security Timaşoara, Romania
Other Authors:	Clarke, Edmund, Minea, Marius, Ţiplea, Ferucio Laurenţiu
Format:	Conference Proceeding Book
Language:	English
Published:	Amsterdam ; Washington, D.C. : IOS Press, [2006]
Series:	NATO security through science series. Information and communication security ; vol. 1.
Subjects:	System theory > Mathematical models > Congresses. System theory > Security measures > Congresses. Computer security > Congresses. Computer software > Verification > Congresses.

Description
Item Description:	Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.
Physical Description:	vii, 235 pages : illustrations ; 25 cm.
Bibliography:	Includes bibliographical references and author index.
ISBN:	1586035703