Mercer, E. G., Anderson, P., Vrvilo, N., & Sarkar, V. (2015, November). Model Checking Task Parallel Programs Using Gradual Permissions (N). 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 535-540. https://doi.org/10.1109/ASE.2015.75
Citace podle Chicago (17th ed.)Mercer, Eric G., Peter Anderson, Nick Vrvilo, a Vivek Sarkar. "Model Checking Task Parallel Programs Using Gradual Permissions (N)." 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) Nov. 2015: 535-540. https://doi.org/10.1109/ASE.2015.75.
Citace podle MLA (9th ed.)Mercer, Eric G., et al. "Model Checking Task Parallel Programs Using Gradual Permissions (N)." 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), Nov. 2015, pp. 535-540, https://doi.org/10.1109/ASE.2015.75.