Decidability of Parameterized Verification
, by Bloem, Roderick; Jacobs, Swen; Khalimov, Ayrat; Konnov, IgorNote: Supplemental materials are not guaranteed with Rental or Used book purchases.
- ISBN: 9781627057431 | 1627057439
- Cover: Paperback
- Copyright: 9/30/2015