Up a level |
Number of items: 1.
Jacobs, S, Tentrup, L and Zimmermann, M
(2018)
Distributed synthesis for parameterized temporal logics.
Information and Computation, 262.
311 - 328.
Up a level |
Jacobs, S, Tentrup, L and Zimmermann, M
(2018)
Distributed synthesis for parameterized temporal logics.
Information and Computation, 262.
311 - 328.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000