pdfformat: 

@InProceedings{torfah_et_al:LIPIcs:2014:4846, author = {Hazem Torfah and Martin Zimmermann}, title = {{The Complexity of Counting Models of Lineartime Temporal Logic}}, booktitle = {34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)}, pages = {241252}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897774}, ISSN = {18688969}, year = {2014}, volume = {29}, editor = {Venkatesh Raman and S. P. Suresh}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2014/4846}, URN = {urn:nbn:de:0030drops48463}, doi = {10.4230/LIPIcs.FSTTCS.2014.241}, annote = {Keywords: Model Counting, Temporal Logic, Model Checking, Counting Complexity} }
Keywords:  Model Counting, Temporal Logic, Model Checking, Counting Complexity  
Seminar:  34th International Conference on Foundation of Software Technology and Theoretical Computer Science (FSTTCS 2014)  
Issue date:  2014  
Date of publication:  12.12.2014 