You are here

Home › Research › Publications ›

Model-Checking Counting Temporal Logics on Flat Structures

TitleModel-Checking Counting Temporal Logics on Flat Structures
Publication TypeConference Paper
Year of Publication2017
AuthorsDecker, N, Habermehl, P, Leucker, M, Sangnier, A, Thoma, D
Conference Name28th International Conference on Concurrency Theory (CONCUR 2017)
SeriesLeibniz International Proceedings in Informatics (LIPIcs)
Volume85
PublisherSchloss Dagstuhl–Leibniz-Zentrum fuer Informatik
Conference LocationDagstuhl, Germany
ISBN Number978-3-95977-048-4
URLhttp://drops.dagstuhl.de/opus/volltexte/2017/7770
DOI10.4230/LIPIcs.CONCUR.2017.29
Refereed DesignationRefereed
Bibtex: 
@inproceedings {1267,
	title = {Model-Checking Counting Temporal Logics on Flat Structures},
	booktitle = {28th International Conference on Concurrency Theory (CONCUR 2017)},
	series = {Leibniz International Proceedings in Informatics (LIPIcs)},
	volume = {85},
	year = {2017},
	publisher = {Schloss Dagstuhl{\textendash}Leibniz-Zentrum fuer Informatik},
	organization = {Schloss Dagstuhl{\textendash}Leibniz-Zentrum fuer Informatik},
	address = {Dagstuhl, Germany},
	isbn = {978-3-95977-048-4},
	doi = {10.4230/LIPIcs.CONCUR.2017.29},
	url = {http://drops.dagstuhl.de/opus/volltexte/2017/7770},
	author = {Normann Decker and Peter Habermehl and Martin Leucker and Arnaud Sangnier and Daniel Thoma}
}