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

Jason Crampton, Michael Huth, Jim Huan-Pu Kuo

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)31-48
JournalInternational Journal on Software Tools for Technology Transfer
Volume16
Issue number1
DOIs
Publication statusPublished - 2014

Cite this