ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Conference Paper

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 Fri Oct 23 20:07:47 2020 IST.