Up a level |
Number of items: 1.
Blahoudek, Frantisek, Heizmann, Matthias, Schewe, Sven ORCID: 0000-0002-9093-9518, Strejcek, Jan and Tsai, Ming-Hsien
(2016)
Complementing Semi-deterministic Buchi Automata.
.
Up a level |
Blahoudek, Frantisek, Heizmann, Matthias, Schewe, Sven ORCID: 0000-0002-9093-9518, Strejcek, Jan and Tsai, Ming-Hsien
(2016)
Complementing Semi-deterministic Buchi Automata.
.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000