Rongo Univesity Library catalog › Details for: Verification of infinite-state systems with applications to security

Normal view MARC view ISBD view

Verification of infinite-state systems with applications to security

Additional authors: Clarke, Edmund. | Minea, Marius. | �Tiplea, Ferucio Lauren�tiu. | ebrary, Inc.

Series: NATO security through science series. D, Information and communication security ; . vol. 1 Published by : IOS Press, (Amsterdam ; | Washington, D.C. :) Physical details: vii, 235 p. : ill.

Subject(s): System theory -- Mathematical models -- Congresses. | System theory -- Security measures -- Congresses. | Computer security -- Congresses. | Computer software -- Verification -- Congresses. | Electronic books.

Year: 2006

Online resources:

http://site.ebrary.com/lib/rucke/Doc?id=10130654
- An electronic book accessible through the World Wide Web; click to view

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 0 )
Title notes ( 3 )
Comments ( 0 )

No physical items for this record

Proceedings of the NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security, Tima�soara, Romania, March 17-22, 2005.

Includes bibliographical references and author index.

Electronic reproduction. Palo Alto, Calif. : ebrary, 2009. Available via World Wide Web. Access may be limited to ebrary affiliated libraries.

There are no comments on this title.

to post a comment.