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: 1.

Conference or Workshop Item

Arora, Shiraj and Panduranga Rao, M. V. (2020) The Bouquet Algorithm for Model Checking Unbounded Until Properties. In: Proceedings - 2020 International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, 11 December 2020 - 13 December 2020.

This list was generated on Thu Sep 23 23:52:51 2021 IST.