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

Bibliographic Item (1.0)

SchneiderK04

  1. Klaus Schneider
  2. Verification of Reactive Systems: Formal Methods and Algorithms
  3. Springer-Verlag London UK 2004 ISBN 3540002960 CR 0409-1013
  4. =THEORY FORMAL V&V ALGORITHMS MODEL CHECKING Borel FIXPOINT AUTOMATA MODAL LOGIC


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]