Your search returned 4 results.

Results
		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)
		No cover image available Formalization and model checking of live sequence charts (R) by Prasad, Prajish \| Krishna, S.N. and Pandya, Paritosh K. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2012Availability: Items available for reference: Not for loan (1) Call number: 043:681.327.8Pra. Add to cart (remove)
		No cover image available Heterogeneous modeling of live sequence charts and statecharts (R) by Das, Jayanta \| Krishna, S.N. and Pandya, Paritosh K. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2014Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:681.327.8Das. Add to cart (remove)
		No cover image available Breathing life in synchronous regular timing diagram (R) by Ritesh Kumar \| Krishna, S.N. and Pandya, Paritosh K. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2014Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:681.327.8Rit. 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)
		No cover image available Formalization and model checking of live sequence charts (R) by Prasad, Prajish \| Krishna, S.N. and Pandya, Paritosh K. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2012Availability: Items available for reference: Not for loan (1) Call number: 043:681.327.8Pra. Add to cart (remove)
		No cover image available Heterogeneous modeling of live sequence charts and statecharts (R) by Das, Jayanta \| Krishna, S.N. and Pandya, Paritosh K. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2014Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:681.327.8Das. Add to cart (remove)
		No cover image available Breathing life in synchronous regular timing diagram (R) by Ritesh Kumar \| Krishna, S.N. and Pandya, Paritosh K. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2014Availability: Items available for reference: Not for loan (1) Call number: 043:681.3.06:681.327.8Rit. Add to cart (remove)

Refine your search