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 Fri Apr 19 19:16:19 2024 IST.
