Clarke, Edmund. Minea, Marius. Ţiplea, Ferucio Laurenţiu NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timaşoara, Romania) text bibliography conference publication ne Amsterdam Washington, D.C IOS Press c2006 2006 monographic eng

print

vii, 235 p. : ill. ; 25 cm. edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea. 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. System theory Mathematical models Congresses System theory Security measures Congresses Computer security Congresses Computer software Verification Congresses MLCM 2006/40079 (Q) 005.8 VER D Information and communication security 1586035703 2005937272 UUM 051115 20140808153640.0 14168969