Model Checking CTL is Amost Always Inherently Sequential

Beyersdorff, O, Meier, A, Mundhenk, M et al. (3 more authors) (2011) Model Checking CTL is Amost Always Inherently Sequential. Logical Methods in Computer Science, 7 (2). ISSN 1860-5974



  • Beyersdorff, O
  • Meier, A
  • Mundhenk, M
  • Schneider, T
  • Thomas, M
  • Vollmer, H
Copyright, Publisher and Additional Information: © 2011 Beyersdorff et al; licensee IfCoLoq. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Keywords: Model checking, temporal logic, complexity
  • Published: 2011
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds) > Institute for Computational and Systems Science (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 07 Dec 2012 12:25
Last Modified: 08 Aug 2017 22:57
Status: Published
Publisher: International Federation of Computational Logic
Identification Number: