| |
The International Journal of Parallel Processing, Vol. 24, No. 1. (February 1996)
|
| |
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on In Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 8, No. 6. (06 August 2002), pp. 661-679.
|
| |
JCIS Proceedings In Advances in Intelligens Systems Research (December 2008)
|
| |
Proceedings NORCHIP Conference (1999), pp. 248-255.
|
| |
|
| |
In ISSS '00: Proceedings of the 13th international symposium on System synthesis (2000), pp. 149-155.
|
| |
|
| |
|
| |
Computer Aided Verification (2007), pp. 4-19.
|
| |
|
| |
|
| |
Center for Embedded Computer Systems (2002)
|
| |
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on In Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, Vol. 8, No. 7. (1989), pp. 798-807.
|
| |
In ICCAD '93: Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design (1993), pp. 612-617.
|
| |
Formal Aspects of Computing, Vol. 20, No. 2. (2008), pp. 205-224.
|
| |
Verification: Theory and Practice (2004), pp. 192-193.
|
| |
Computer Languages, 1990., International Conference on (Mar 1990), pp. 208-217.
|
| |
Embedded Software In Embedded Software (2001), pp. 148-165.
|
| |
|
| |
In ICCAD '02: Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design (2002), pp. 132-139.
|
| |
In ESEC/FSE-9: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering (2001), pp. 109-120.
|
| |
Application of Concurrency to System Design, 2006. ACSD 2006. Sixth International Conference on (June 2006), pp. 208-216.
|
| |
|
| |
Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, Vol. 2, No. 2. (1994), pp. 172-185.
|
| |
Foundations of Computer Science, 1980., 21st Annual Symposium on In Foundations of Computer Science, 1980., 21st Annual Symposium on (1980), pp. 260-269.
|
| |
In DATE '01: Proceedings of the conference on Design, automation and test in Europe (2001), pp. 71-76.
|
| |
In Field Programmable Logic (2009)
|
| |
In DAC '98: Proceedings of the 35th annual conference on Design automation (1998), pp. 8-13.
|
Search
