Minimization, Learning, and Conformance Testing of Boolean Programs

Viraj Kumar, P. Madhusudan, Mahesh Viswanathan. Minimization, Learning, and Conformance Testing of Boolean Programs. In Christel Baier, Holger Hermanns, editors, CONCUR 2006 - Concurrency Theory, 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006, Proceedings. Volume 4137 of Lecture Notes in Computer Science, pages 203-217, Springer, 2006. [doi]

Authors

Viraj Kumar

This author has not been identified. Look up 'Viraj Kumar' in Google

P. Madhusudan

This author has not been identified. Look up 'P. Madhusudan' in Google

Mahesh Viswanathan

This author has not been identified. Look up 'Mahesh Viswanathan' in Google