![]() | ![]() |
1999 | ||
---|---|---|
2 | EE | Sheetanshu L. Pandey, Kothanda Umamageswaran, Philip A. Wilsey: VHDL semantics and validating transformations. IEEE Trans. on CAD of Integrated Circuits and Systems 18(7): 936-955 (1999) |
1996 | ||
1 | EE | Sheetanshu L. Pandey, Kothanda R. Subramanian, Philip A. Wilsey: A Semantic Model of VHDL for Validating Rewriting Algebras. EUROMICRO 1996: 167-176 |
1 | Kothanda R. Subramanian | [1] |
2 | Kothanda Umamageswaran | [2] |
3 | Philip A. Wilsey | [1] [2] |