Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Formal Methods and Models for Co-Design Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Proceedings. Second ACM and IEEE International Conference on. :201-210 2004
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004. Logic in computer science Logic in Computer Science, 2004. Proceedings of the 19th Annual IEEE Symposium on. :54-63 2004