Cited By
View all- Chen FRoşu GVenkatesan R(2003)Rule-based analysis of dimensional safetyProceedings of the 14th international conference on Rewriting techniques and applications10.5555/1759148.1759164(197-207)Online publication date: 9-Jun-2003
- Chen FRoşu GVenkatesan R(2003)Rule-Based Analysis of Dimensional SafetyRewriting Techniques and Applications10.1007/3-540-44881-0_15(197-207)Online publication date: 18-Jun-2003