Items where Author is "Shreya, V"

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 or Workshop Item

Shreya, V and Nanda, Manju (2017) Analysing MTL Properties using NuSMV model checker. In: 2016 IEEE International Conference on Recent Trends in Electronics, Information and Communication Technology, RTEICT 2016 - Proceedings, 20 - 21 May 2016, Bangalore, India.

This list was generated on Wed Oct 21 21:22:47 2020 IST.