Your search returned 2 results.

Results
	1.	Handbook of process algebra by Bergstra, J. A Ponse, A. (Alban), 1955- Smolka, Scott A Edition: 1st ed. Material type: Text; Format: print ; Literary form: Not fiction Publication details: New York : Elsevier, 2001 Online access: Table of contents only Publisher description Availability: Items available for reference: IIITD: Not for loan (1)Call number: REF 511.3 BER-H. Add to cart (remove)
	2.	Runtime Verification [electronic resource] : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings / by Bonakdarpour, Borzoo [editor.] Smolka, Scott A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8734 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search