Shiva Asadianfam, Hoshang Kolivand. Verification of Airport Control Using Lisp Functional Language. In 13th International Conference on Developments in eSystems Engineering, DeSE 2020, Liverpool, United Kingdom, December 14-17, 2020. pages 245-250, IEEE, 2020. [doi]
Abstract is missing.