Search results for: Erion Plaku
International Journal on Software Tools for Technology Transfer > 2013 > 15 > 4 > 305-320
IEEE Transactions on Robotics > 2010 > 26 > 3 > 469 - 482
Formal Methods in System Design > 2009 > 34 > 2 > 157-182
Journal of Parallel and Distributed Computing > 2007 > 67 > 3 > 346-359