[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

BaierKatoen08

  1. Christel Baier & Joost Katoen
  2. Principles of Model Checking
  3. The MIT Press Cambridge MA (2008) ISBN 026202649X CR 0912-1115
  4. =TEXT =THEORY MODEL CHECKING MODAL LOGICS FSM LTL CTL CTL* TCTL BISIMULAION OBDT MARKOV PCTL PCTL*
  5. Excellent and thorough text book suitable for graduate Computer scientists or some final year undergraduates
  6. A large in depth reference to the theory of the most successful formal methods - so far.
  7. Does not use the normal syntax for modes but uses ∀ and ∃. So doesn't fit some tools.
  8. Does not use standard terminology.
  9. Does include newer topics and types of models.

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]