Verification of infinite-state systems with applications to security /
edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.
- Amsterdam ; Washington, D.C. : IOS Press, c2006.
- vii, 235 p. : ill. ; 25 cm.
- 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, Timaşoara, Romania, March 17-22, 2005.
Includes bibliographical references and author index.
1586035703
2005937272
GBA647473 bnb
013467698 Uk
System theory--Mathematical models--Congresses.
System theory--Security measures--Congresses.
Computer security--Congresses.
Computer software--Verification.--Congresses.
MLCM 2006/40079 (Q)
005.8 / VER
Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timaşoara, Romania, March 17-22, 2005.
Includes bibliographical references and author index.
1586035703
2005937272
GBA647473 bnb
013467698 Uk
System theory--Mathematical models--Congresses.
System theory--Security measures--Congresses.
Computer security--Congresses.
Computer software--Verification.--Congresses.
MLCM 2006/40079 (Q)
005.8 / VER