Search

Your search returned 19 results.

Results
		No cover image available Techniques in symbolic model checking (R) by Trivedi, Ashutosh Suresh \| Chakraborty, Supratik. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2003Availability: Items available for reference: Not for loan (1) Call number: 043:621.374.32:681.3Tri. Add to cart (remove)
		No cover image available From state transition diagrams to CTL formulae : an aid for property specification (R) by Maymon, M.S \| Chakraborty, Supratik. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2004Availability: Items available for reference: Not for loan (1) Call number: 043:681.3:517.1May. Add to cart (remove)
		No cover image available Symbolic model checking of large sequential circuits (R) by Joshi, Saurabh \| Chakraborty, Supratik. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2006Availability: Items available for reference: Not for loan (1) Call number: 043:621.374.32:681.3Jos. Add to cart (remove)
		No cover image available Reachability analysis in graph transformation systems (R) by Sankaran, Abhisekh \| Chakraborty, Supratik. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2006Availability: Items available for reference: Not for loan (1) Call number: 043:681.3:518.4San. Add to cart (remove)
		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 Efficient approximate reachability of state transition systems with local interactions (R) by Juvekar, Sudeep \| Chakraborty, Supratik. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2007Availability: Items available for reference: Not for loan (1) Call number: 043:517.1:681.3.06Juv. Add to cart (remove)
		No cover image available Word level symbolic simulation of microprocessors (R) by Sasidhar, Sunkari \| Chakraborty, Supratik. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2007Availability: Items available for reference: Not for loan (1) Call number: 043:681.326.32Sas. Add to cart (remove)
		No cover image available Developing a symbolic simulator for VHDL for use in verifying hierarchical hardware systems (R) by Vaidya, Nachiket \| Chakraborty, Supratik. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2008Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.07Vai. Add to cart (remove)
		No cover image available SMT solving with fixpoint constraints on bit-vectors (R) by Nimkar, Kaustubh N \| Chakraborty, Supratik. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2008Availability: Items available for reference: Not for loan (1) Call number: 043:681.326.32Nim. Add to cart (remove)
		No cover image available Approximate image computation in conjunctively partitioned state transition systems with small support sets (R) by Annervaz, K.M \| Chakraborty, Supratik. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2009Availability: Items available for reference: Not for loan (1) Call number: 043:681.3:621.385.832Ann. Add to cart (remove)

Powered by Koha