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.

Remote Storage