| Real-Time System Verification by Kappa-Induction | | Author:
| Pike, Lee S. | Created by:
| Nasa Technical Reports Server (Ntrs), | ISBN: | 978-1-289-24860-4 | Publication Date: | Jul 2013 | Publisher: | Creative Media Partners, LLC
| Imprint: | BiblioGov | Book Format: | Paperback | List Price: | USD $17.75 |
| |