Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Back to Search Results

Available items only

Previous Record Next Record

E-Book/E-Doc

Conference

NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security (2005 March 17-22 : Timasoara, Romania)

Title Verification of infinite-state systems with applications to security [electronic resource] / edited by Edmund Clarke, Marius Minea and Ferucio Laurentiu Tiplea.

Imprint

Amsterdam ; Washington, D.C. : IOS Press, c2006.

Connect to
Available to Pittsburg State University patrons only.

Copies

Location	Call No.	OPAC Message	Status
Axe ProQuest E-Book	Electronic Book	---	Available

Description	vii, 235 p. : ill.
Series	NATO security through science series. D, Information and communication security ; vol. 1
	NATO security through science series. D, Information and communication security ; v. 1.
Note	Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Timasoara, Romania, March 17-22, 2005.
Bibliography	Includes bibliographical references and author index.
Reproduction	Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Subject	System theory -- Mathematical models -- Congresses.
	System theory -- Security measures -- Congresses.
	Computer security -- Congresses.
	Computer software -- Verification -- Congresses.
Genre/Form	Electronic books.
Added Author	Clarke, Edmund.
	Minea, Marius.
	Tiplea, Ferucio Laurentiu.
	ProQuest (Firm)
ISBN	1586035703