Media type: E-Article Title: Computer Science Logic: Program Complexity of Dynamic LTL Model Checking Contributor: Kähler, Detlef; Wilke, Thomas imprint: Springer Berlin Heidelberg, 2003 Published in: Computer Science Logic Language: Not determined DOI: 10.1007/978-3-540-45220-1_23 ISSN: 0302-9743; 1611-3349 Origination: Footnote: