Up a level |
Number of items: 2.
Kourtis, G, Dixon, C ORCID: 0000-0002-4610-9533, Fisher, M and Lisitsa, A
(2021)
Parameterized verification of leader/follower systems via first-order temporal logic.
FORMAL METHODS IN SYSTEM DESIGN, 58 (3).
pp. 440-468.
Kourtis, G, Dixon, C ORCID: 0000-0002-4610-9533, Fisher, M and Lisitsa, A
(2022)
Parameterized verification of leader/follower systems via first-order temporal logic (vol 58, pg 440, 2022).
FORMAL METHODS IN SYSTEM DESIGN, 60 (2).
pp. 325-326.