Authorized workflow schemas: deciding realizability through $\mathsf{LTL }(\mathsf{F })$ model checking. / Crampton, Jason; Huth, Michael; Huan-Pu Kuo, Jim.

In: International Journal on Software Tools for Technology Transfer, Vol. 16, No. 1, 2014, p. 31-48.

Research output: Contribution to journalArticle

Published

Standard

Authorized workflow schemas: deciding realizability through $\mathsf{LTL }(\mathsf{F })$ model checking. / Crampton, Jason; Huth, Michael; Huan-Pu Kuo, Jim.

In: International Journal on Software Tools for Technology Transfer, Vol. 16, No. 1, 2014, p. 31-48.

Research output: Contribution to journalArticle

Harvard

Crampton, J, Huth, M & Huan-Pu Kuo, J 2014, 'Authorized workflow schemas: deciding realizability through $\mathsf{LTL }(\mathsf{F })$ model checking', International Journal on Software Tools for Technology Transfer, vol. 16, no. 1, pp. 31-48. https://doi.org/10.1007/s10009-012-0269-3

APA

Crampton, J., Huth, M., & Huan-Pu Kuo, J. (2014). Authorized workflow schemas: deciding realizability through $\mathsf{LTL }(\mathsf{F })$ model checking. International Journal on Software Tools for Technology Transfer, 16(1), 31-48. https://doi.org/10.1007/s10009-012-0269-3

Vancouver

Crampton J, Huth M, Huan-Pu Kuo J. Authorized workflow schemas: deciding realizability through $\mathsf{LTL }(\mathsf{F })$ model checking. International Journal on Software Tools for Technology Transfer. 2014;16(1):31-48. https://doi.org/10.1007/s10009-012-0269-3

Author

Crampton, Jason ; Huth, Michael ; Huan-Pu Kuo, Jim. / Authorized workflow schemas: deciding realizability through $\mathsf{LTL }(\mathsf{F })$ model checking. In: International Journal on Software Tools for Technology Transfer. 2014 ; Vol. 16, No. 1. pp. 31-48.

BibTeX

@article{5f8b96cea7c84a44b71fb673cec84904,
title = "Authorized workflow schemas: deciding realizability through $\mathsf{LTL }(\mathsf{F })$ model checking",
author = "Jason Crampton and Michael Huth and {Huan-Pu Kuo}, Jim",
year = "2014",
doi = "10.1007/s10009-012-0269-3",
language = "English",
volume = "16",
pages = "31--48",
journal = "International Journal on Software Tools for Technology Transfer",
issn = "1433-2779",
publisher = "Springer Verlag",
number = "1",

}

RIS

TY - JOUR

T1 - Authorized workflow schemas: deciding realizability through $\mathsf{LTL }(\mathsf{F })$ model checking

AU - Crampton, Jason

AU - Huth, Michael

AU - Huan-Pu Kuo, Jim

PY - 2014

Y1 - 2014

U2 - 10.1007/s10009-012-0269-3

DO - 10.1007/s10009-012-0269-3

M3 - Article

VL - 16

SP - 31

EP - 48

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

SN - 1433-2779

IS - 1

ER -