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

Bibliographic Item (1.0)

ClarkeGrumbergPeled99

  1. Edmund M Clarke Jr & Orna Grumberg & Doron A Peled
  2. Model Checking
  3. MIT Press 1999 ISBN 0-262-03270-8 QA 76.76 V47 C553 1999
  4. =MONOGRAPH FORMAL LOGIC CTL MODEL CHECKING SMV SPIN OBDDS KRIPKE SYMMETRY GROUPS
  5. CSUSB cs565/656

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]