Media type: E-Article Title: Algebra and Coalgebra in Computer Science: Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach Contributor: Cîrstea, Corina Published: Springer Berlin Heidelberg, 2011 Published in: Algebra and Coalgebra in Computer Science (2011), Seite 130-144 Language: Not determined DOI: 10.1007/978-3-642-22944-2_10 ISBN: 9783642229435; 9783642229442 ISSN: 1611-3349; 0302-9743 Origination: Footnote: