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

Bibliographic Item (1.0)

WingVaziri-Farahani95
  1. Jeanette M Wing<wing@cs.cmu.edu> & Mandana Vaziri-Farahani
  2. Model checking software systems: A Case study
  3. in [Kaiser95]
  4. =CASE-STUDY SQA FORMAL CASE-STUDY LOGIC
  5. It is feasible to check for some properties of non-finite state systems.
  6. When does ( p(a) imply (for all x(p(x))))?

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]