Formal Verification of Temporal Constraints for Mobile Service-Based Business Process Models Academic Article

authors

publication date

January 1, 2018

published in

IEEE Access Journal

Digital Object Identifier (DOI)

https://doi.org/10.1109/access.2018.2874937

has global citation frequency

https://vivo.tib.eu/demo/individual/gcf_W2896876660 Global Citation Count

start page

59843

end page

59852

volume

6