Sri Kanajan
发表
Alberto Sangiovanni-Vincentelli,
C. Pinello,
Haibo Zeng,
2006
.
C. Pinello,
Marco Di Natale,
Paolo Giusto,
2007
.
Alberto L. Sangiovanni-Vincentelli,
Qi Zhu,
Marco Di Natale,
2007,
2007 44th ACM/IEEE Design Automation Conference.
Thomas Huining Feng,
Wei Zheng,
Sri Kanajan,
2007,
2007 Design, Automation & Test in Europe Conference & Exhibition.
Sanjit A. Seshia,
Wei Zheng,
Thomas Huining Feng,
2007,
DATE.
Marco Di Natale,
Paolo Giusto,
Claudio Pinello,
2007,
2007 Design, Automation & Test in Europe Conference & Exhibition.
P. Giusto,
M. Natale,
C. Pinello,
2007,
2007 Design, Automation & Test in Europe Conference & Exhibition.
Alberto L. Sangiovanni-Vincentelli,
Wei Zheng,
Jike Chong,
2005,
Fifth International Conference on Application of Concurrency to System Design (ACSD'05).