Browse by IITH Authors

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

Thamilselvam, B. and Kalyanasundaram, Subrahmanyam and Parmar, Shubham and Panduranga Rao, M. V. (2021) Statistical Model Checking for Traffic Models. In: 24th Brazilian Symposium on Formal Methods, SBMF 2021, 6 December 2021through 10 December 2021, Virtual, Online.

Kumar Pandey, Rajesh and Panduranga Rao, M. V. (2021) Traveling Agents and Indirect Epidemic Transmission. In: 15th International KES Conference on Agent and Multi-Agent Systems-Technologies and Applications, KES-AMSTA 2021, 14 June 2021 through 16 June 2021, Virtual, Online.

This list was generated on Fri Mar 31 23:22:31 2023 IST.