Model Checking CTL is Almost Always Inherently Sequential

Beyersdorff, O, Meier, A, Thomas, M et al. (3 more authors) (2009) Model Checking CTL is Almost Always Inherently Sequential. In: Lutz, C and Raskin, J-F, (eds.) 16th International Symposium on Temporal Representation and Reasoning 2009. International Symposium on Temporal Representation and Reasoning, 23-25 Jul 2009, Bressanone, Brixen, Italy. IEEE , 21 - 28 . ISBN 978-0-7695-3727-6

Metadata

Item Type: Proceedings Paper
Authors/Creators:
  • Beyersdorff, O
  • Meier, A
  • Thomas, M
  • Vollmer, H
  • Mundhenk, M
  • Schneider, T
Editors:
  • Lutz, C
  • Raskin, J-F
Copyright, Publisher and Additional Information:

© 2009, IEEE. This is an author produced version of a paper published in 6th International Symposium on Temporal Representation and Reasoning 2009. Uploaded in accordance with the publisher's self-archiving policy.

Dates:
  • Published: 2009
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:00
Last Modified: 19 Dec 2022 13:24
Published Version: http://dx.doi.org/10.1109/TIME.2009.12
Status: Published
Publisher: IEEE
Identification Number: 10.1109/TIME.2009.12
Open Archives Initiative ID (OAI ID):

Export

Statistics


CORE (COnnecting REpositories)