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

Jason Crampton; Michael Huth; Jim Huan-Pu Kuo

doi:10.1007/s10009-012-0269-3

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

Jason Crampton
, Michael Huth
, Jim Huan-Pu Kuo

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	31-48
Journal	International Journal on Software Tools for Technology Transfer
Volume	16
Issue number	1
DOIs	https://doi.org/10.1007/s10009-012-0269-3
Publication status	Published - 2014

Access to Document

10.1007/s10009-012-0269-3

Cite this

@article{5f8b96cea7c84a44b71fb673cec84904,

title = "Authorized workflow schemas: deciding realizability through \$\textbackslash{}mathsf\{LTL \}(\textbackslash{}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",

}

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

SN - 1433-2779

VL - 16

SP - 31

EP - 48

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 1

ER -