Li Xiang, Kalum Priyanath Udagepola, Men Chao Guang, Stephen Lovatt. Topo-Semantic Constraints Checking. In IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2008, Sydney, NSW, Australia, December 10-12, 2008. pages 608-613, IEEE, 2008. [doi]
Abstract is missing.