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
Original languageEnglish
Pages (from-to)31-48
JournalInternational Journal on Software Tools for Technology Transfer
Volume16
Issue number1
DOIs
Publication statusPublished - 2014
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 24354718