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

Bibliographic Item (1.0)

BloomChengDsouza97

  1. Bard Bloom & Allan Cheng & Ashvin Dsouza
  2. Using a Protean Language to Enhance expresiveness in Specifications
  3. IEEE Trans Softw Eng VSE23n4(Apr 1997)pp224-234
  4. Using structural Operational semantics to construct and extend specification languages including CCS Z Petri nets. GSOS Simple BDD-based model checking. philosphers & lifts

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]