Your search returned 2 results.

Results
		No cover image available Parameterised merging of heap abstractions (R) by Nema, Kanika \| Chakraborty, Supratik. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2007Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06Nem. Add to cart (remove)
		No cover image available Formalization and model checking of LSCs for reactive systems (R) by Pandey, Sushant \| Krishna, S.N. and Pandya, Paritosh K. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2011Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06Pan. Add to cart (remove)

Refine your search