Correction to: ``Parameterized verification of leader/follower systems via first-order temporal logic

DOI10.1007/s10703-023-00408-zzbMath1511.68161MaRDI QIDQ6102169

Clare Dixon, M. Fisher, Alexej P. Lisitsa, Georgios Kourtis

Publication date: 8 May 2023

Published in: Formal Methods in System Design (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)

This page was built for publication: Correction to: ``Parameterized verification of leader/follower systems via first-order temporal logic