White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Model Checking CTL is Almost Always Inherently Sequential

Beyersdorff, O, Meier, A, Thomas, M, Vollmer, H, Mundhenk, M and Schneider, T (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 July 2009, Bressanone, Brixen, Italy. IEEE , 21 - 28 . ISBN 978-0-7695-3727-6

Full text available as:
[img]
Preview
Text
Time-09-ctl-mc.pdf
Available under licence : See the attached licence file.

Download (222Kb)
Item Type: Proceedings Paper
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.
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering (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: 08 Jun 2014 10:45
Published Version: http://dx.doi.org/10.1109/TIME.2009.12
Status: Published
Publisher: IEEE
Identification Number: 10.1109/TIME.2009.12
URI: http://eprints.whiterose.ac.uk/id/eprint/74808

Actions (repository staff only: login required)