dblp.uni-trier.dewww.uni-trier.de

Karim Khordoc

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1998
4EEKarim Khordoc, Eduard Cerny: Semantics and verification of action diagrams with linear timing. ACM Trans. Design Autom. Electr. Syst. 3(1): 21-50 (1998)
1994
3 Karim Khordoc, Eduard Cerny: Modeling Cell Processing Hardware with Action Diagrams. ISCAS 1994: 245-248
1993
2 Karim Khordoc, Mario Dufresne, Eduard Cerny, P. A. Babkine, Allan Silburt: Integrating Behavior and Timing in Executable Specifications. CHDL 1993: 399-416
1991
1 Karim Khordoc, Mario Dufresne, Eduard Cerny: A Stimulus/Response System Based on Hierarchical Timing Diagrams. ICCAD 1991: 358-361

Coauthor Index

1P. A. Babkine [2]
2Eduard Cerny [1] [2] [3] [4]
3Mario Dufresne [1] [2]
4Allan Silburt [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)