Browse by Author

Group by: Item Type | No Grouping

Number of items: 1.

Shanbhag, Vivek K and Gopinath, K (2001) A SPIN-Based Model Checker for Telecommunication Protocols. In: 8th International SPIN Workshop On Model Checking Software, SPIN2001 (Lecture Notes in Computer Science), 19-20 May 2001, Toronto, Ontario, Canada, Vol. 2057, 252-271.

This list was generated on Sat Apr 27 03:34:22 2024 IST.


	Powered by EPrints		A service from The J.R.D. Tata Memorial Library Indian Institute of Science, Bengaluru-560012, India

Export as	Atom RSS 1.0 RSS 2.0