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

Bibliographic Item (1.0)

Babinetal91

  1. Gilbert Babin & Francois Lustman & Peretz Shoval
  2. Specification and Design of Transactions in Informations Systems: A Formal Approach
  3. IEEE SE-V17n8(Aug 1991)pp815-829
  4. CR9303-0181
  5. QV Lustman94
  6. dataflows vs control_data_flows & FSM

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]