The complexity of counting models of linear-time temporal logic
Crossref DOI link: https://doi.org/10.1007/s00236-016-0284-z
Published Online: 2016-11-17
Published Print: 2018-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Torfah, Hazem
Zimmermann, Martin
Funding for this research was provided by:
Deutsche Forschungsgemeinschaft (DE) (SFB/TR 14, ZI 1516/1-1)
Deutsche Telekom Stiftung (T-13-11)
License valid from 2016-11-17