TY  - BOOK
AU  - Clarke,Edmund
AU  - Minea,Marius
AU  - Tiplea,Ferucio Laurentiu
ED  - NATO Advanced Research Workshop on Verification of Infinite-state Systems with Applications to Security
ED  - ebrary, Inc.
TI  - Verification of infinite-state systems with applications to security
T2  - NATO security through science series. D, Information and communication security
AV  - Q295 .N38 2006eb
U1  - 005.8 22
PY  - 2006///
CY  - Amsterdam, Washington, D.C.
PB  - IOS Press
KW  - System theory
KW  - Mathematical models
KW  - Congresses
KW  - Security measures
KW  - Computer security
KW  - Computer software
KW  - Verification
KW  - Electronic books
KW  - local
N1  - 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; Electronic reproduction; Palo Alto, Calif.; ebrary; 2009; Available via World Wide Web; Access may be limited to ebrary affiliated libraries
UR  - http://ezproxy.taylors.edu.my/login?url=http://site.ebrary.com/lib/taylorscollege/Doc?id=10130654
ER  -