Up a level |
Number of items: 1.
Torfah, H and Zimmermann, M ORCID: 0000-0002-8038-2453
(2014)
The complexity of counting models of linear-time temporal logic.
.
Up a level |
Torfah, H and Zimmermann, M ORCID: 0000-0002-8038-2453
(2014)
The complexity of counting models of linear-time temporal logic.
.
Research Support, University of Liverpool
Sydney Jones Library, Abercromby Square
Liverpool
L69 3DA,
UK
+44 (0)151 794 0000