Georgios Kourtis, Clare Dixon, Michael Fisher 0001, Alexei Lisitsa 0001. Correction: Parameterized verification of leader/follower systems via first-order temporal logic. Formal Methods in System Design, 60(2):325-326, April 2022. [doi]
Abstract is missing.