Cited By
View all- Das DChakrabarti PKumar R(2009)Scenario-based timing verification of multiprocessor embedded applicationsACM Transactions on Design Automation of Electronic Systems10.1145/1529255.152925914:3(1-58)Online publication date: 4-Jun-2009
- Chakraborty SMekie JSharma D(2006)Reasoning about synchronization in GALS systemsFormal Methods in System Design10.1007/s10703-006-7841-y28:2(153-169)Online publication date: 1-Mar-2006
- Cheng YZheng D(2005)Min-Max Inequalities and the Timing Verification Problem with Max and Linear ConstraintsDiscrete Event Dynamic Systems10.1007/s10626-004-6209-y15:2(119-143)Online publication date: 1-Jun-2005