![](/img/cover-not-exists.png)
[IEEE 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA) - Krakow, Poland (2018.5.16-2018.5.18)] 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA) - Formal Verification of Temporal Constraints and Allocated Cloud Resources in Business Processes
Ben Halima, Rania, Zouaghi, Imen, Kallel, Slim, Gaaloul, Walid, Jmaiel, MohamedYear:
2018
Language:
english
DOI:
10.1109/AINA.2018.00139
File:
PDF, 977 KB
english, 2018