[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Bard Bloom & Allan Cheng & Ashvin Dsouza
- Using a Protean Language to Enhance expresiveness in Specifications
- IEEE Trans Softw Eng VSE23n4(Apr 1997)pp224-234
- 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 for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]