Principles of model checking

Principles of model checking

Bibliografiset tiedot
Päätekijä: Baier, Christel
Muut tekijät: Katoen, Joost-Pieter
Aineistotyyppi: Kirja
Kieli:English
Julkaistu: Cambridge, Mass. MIT Press [2008?]
Aiheet:
Computer systems > Verification.
Computer software > Verification.
Linkit:Table of contents only