Search results for: Dejan Jovanović
International Journal of Heat and Mass Transfer > 2017 > 104 > C > 559-565
Lecture Notes in Computer Science > Frontiers of Combining Systems > Logical Problem Analysis and Encoding I > 200-215
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 402-416
Economic Themes > 2015 > 53 > 2 > 298-313
2013 Formal Methods in Computer-Aided Design > 173 - 180
Formal Methods in System Design > 2013 > 42 > 1 > 67-90
Journal of Automated Reasoning > 2013 > 51 > 1 > 79-108