"Authorized workflow schemas: deciding realizability through $$\mathsf{LTL ..."

Jason Crampton, Michael Huth, Jim Huan-Pu Kuo (2014)

Details and statistics

DOI: 10.1007/S10009-012-0269-3

access: closed

type: Journal Article

metadata version: 2023-09-11