Muller, B., & Abdullahi, I. (2016). Towards Efficient Verification of Elementary Object Systems. Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, 1698, pp. 86-100.
Chicago Style CitationMuller, Bertie, and Ismaila Abdullahi. "Towards Efficient Verification of Elementary Object Systems." Proceedings of the 25th International Workshop On Concurrency, Specification and Programming 1698 (2016): 86-100.
MLA CitationMuller, Bertie, and Ismaila Abdullahi. "Towards Efficient Verification of Elementary Object Systems." Proceedings of the 25th International Workshop On Concurrency, Specification and Programming 1698 (2016): 86-100.
Warning: These citations may not always be 100% accurate.