Verification of Infinite-State Systems with Applications to Security (NATO Security Through Science)

By F.L. Þiplea E. Clarke and Edmund Clarke

Provides information for researchers interested in the development of mathematical techniques for the analysis of infinite state systems. The papers come from a successful workshop." This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 1586035703
• ISBN13: 9781586035709
• Release Date: February 2006
• Publisher: SAGE Publications Ltd
• Length: 244 Pages
• Weight: 1.40 lbs.
• Dimensions: 9.5" x 1.0" x 6.5"