Yan Wang, Wen Zhong, Xiaohong Chen 0001, Dehui Du. Modeling of Interlocking Systems based on Patterns. In Óscar Mortágua Pereira, editor, The 30th International Conference on Software Engineering and Knowledge Engineering, Hotel Pullman, Redwood City, California, USA, July 1-3, 2018. pages 292-291, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2018. [doi]
Abstract is missing.