Skip to main content

Publications

Books

Ying, M 2001, Topology in process calculus - approximate correctness and infinite evolution of concurrent programs., Springer, New York.

Conferences

Blumenstein, M & Verma, B 1970, 'Analysis of segmentation performance on the CEDAR benchmark database', Proceedings of Sixth International Conference on Document Analysis and Recognition, Sixth International Conference on Document Analysis and Recognition, IEEE Comput. Soc, pp. 1142-1146.
View/Download from: Publisher's site
View description>>