Title Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea

Published Amsterdam ; Oxford : IOS Press, [2006] ©2006

Copies

Location	Call no.	Vol.	Availability
W'PONDS	005.8 Nat/Arw 2005		AVAILABLE

Description vii, 235 pages : illustrations ; 25 cm Series NATO security through science series. D, Information and communication security ; v. 1 NATO security through science series. D, Information and communication security ; v. 1 Analysis Infinite-state systems Security VISSAS Bibliography Includes bibliographical references and index Subject System theory -- Mathematical models -- Congresses. System theory -- Security measures -- Congresses. Computer security -- Congresses. Computer software -- Verification -- Congresses. Genre/Form Conference papers and proceedings. Author Clarke, Edmund. Minea, Marius. Ţiplea, Ferucio Laurenţiu. LC no. 2005937272 ISBN 1586035703 (cased)

  Permalink