Up a level |
Number of items: 1.
Husien, I, Schewe, S ORCID: 0000-0002-9093-9518 and Berthier, N ORCID: 0000-0002-0933-8193
(2017)
PranCS: A protocol and discrete controller synthesis tool.
.
Up a level |
Husien, I, Schewe, S ORCID: 0000-0002-9093-9518 and Berthier, N ORCID: 0000-0002-0933-8193
(2017)
PranCS: A protocol and discrete controller synthesis tool.
.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000