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

Bibliographic Item (1.0)

ChanEtal01

  1. William Chan & Richard J Anderson & Paul Beame & David H Jones & David Notkin & William E Warner
  2. Optimizing symbolic Model checking for Statecharts
  3. IEEE Trans Software Engineering V27n2(Feb 2001)pp170-190, also in ICSE'99
  4. =EXPERIMENTS FORMAL VERIFICATION REQUIREMENTS STATECHARTS GRAPHIC LOGIC OPTIMIZATION RSML TCAS II BDD
  5. Electrical power distribution system
  6. order of magnitude improvements.

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]