ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 2.

Journal Article

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.

Editorials/Short Communications

Chandru, Vijay and Lassez, Jean-Louis (2003) Qualitative theorem proving in linear constraints. In: Lecture Notes in Computer Science, 2772 . pp. 395-406.

This list was generated on Tue Jul 29 23:04:12 2014 IST.