Modeling of Interlocking Systems based on Patterns.

Yan Wang, Wen Zhong, Xiaohong Chen, Dehui Du

Browse the full SEKE paper archive.