Browse by Journal / Conference

Number of items: 1.

Chandru, Vijay and Lassez, Jean-Louis (2004) Qualitative theorem proving in linear constraints. In: Verification: Theory And Practice - Essays Dedicated To Zhoar Manna On The Occasion Of His 64th Birthday Book Series: Lecture Notes In Computer Science, 2772 . pp. 398-399.

This list was generated on Wed Apr 17 12:22:25 2024 IST.


	Powered by EPrints		A service from The J.R.D. Tata Memorial Library Indian Institute of Science, Bengaluru-560012, India

Export as	Atom RSS 1.0 RSS 2.0