Anantha Padmanabha, R. Ramanujam. Verifying Implicitly Quantified Modal Logic over Dynamic Networks of Processes. In Dang Van Hung, Meenakshi D'Souza, editors, Distributed Computing and Internet Technology - 16th International Conference, ICDCIT 2020, Bhubaneswar, India, January 9-12, 2020, Proceedings. Volume 11969 of Lecture Notes in Computer Science, pages 165-176, Springer, 2020. [doi]
Abstract is missing.