Your search returned 3 results.

Results
		No cover image available Local vs global logics for analyzing message sequence charts (R) by Leela Surya Narayana, D \| Adsul, Bharat G. Series: Edition: Language: English Publication details: Mumbai ; IIT ; 2011Availability: Items available for reference: Not for loan (1) Call number: 043:681.327.8:517.1Lee. 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)

Refine your search