IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 38(7):1378-1382 Jul, 2019
Sixth International Conference on Application of Concurrency to System Design (ACSD'06) Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on. :208-216 2006
First International Conference onSoftware Engineering and Formal Methods, 2003.Proceedings. Software engineering and formal methods Software Engineering and Formal Methods, 2003.Proceedings. First International Conference on. :202-209 2003