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]](http://eprints.whiterose.ac.uk/style/images/fileicons/text.png)
|
Text
Time-09-ctl-mc.pdf Available under License : See the attached licence file. Download (222Kb) |
Published Version: http://dx.doi.org/10.1109/TIME.2009.12
| 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. |
| Academic Units: | The University of Leeds > Faculty of Engineering (Leeds) > School of Computing (Leeds) > Institute for Computational and Systems Science |
| Depositing User: | Symplectic Publications |
| Date Deposited: | 07 Dec 2012 12:00 |
| Last Modified: | 08 Feb 2013 17:41 |
| 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 (login required)
 |
View Item |
