Login / Signup

Formal modeling and analysis of time- and resource-sensitive simple business processes.

Kazuhiro OgataThapana ChaimanontMin Zhang
Published in: J. Inf. Secur. Appl. (2016)
Keyphrases