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

Bibliographic Item (1.0)

HuthRyan00

  1. Michael R Huth & Mark Ryan
  2. Logic in Computer Science: Modeling and reasoning about systems
  3. Cambridge U P 2000 ISBN 0 521 65200 6 (hardback) ISBN 0 521 65200 8 (paperback)
  4. =TEXT FORMAL MODEL LPC MODAL LOGIC CTL OBDDs AGENTS VERIFICATION SMV CSUSB.CSCI556/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]