Verification of Infinite-State Systems with Applications to Security: Volume 1 NATO Security through Science Series
Subtitle: Information and Communication Security (Nato Security Through Science)
Contributors: E. Clarke (Editor); M. Minea (Editor); F. L. Tiplea (Editor)
Publisher: IOS Press
Published: January 1, 2006
Language: eng
Format: Hardcover
Number of pages: 244
ISBN-13: 9781586035709
Subjects: Data security & data encryption; Science; Science/Mathematics; General