Get This : Verification of infinite-state systems with applications to security [electronic resource] / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.

Title : Verification of infinite-state systems with applications to security [electronic resource] / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.

Call Number : No call number

Status : Unknown