Personal tools
Springer's Computer Science Features Work of Prof. Tabuada
June 2009
Assistant Professor Paulo Tabuada and his latest book "Verification and Control of Hybrid Systems: A Symbolic Approach" are highlighted in Springer's Computer Science front page.
