![](/img/cover-not-exists.png)
[IEEE Tenth International Conference on Microelectronics - Monastir, Tunisia (14-16 Dec. 1998)] Proceedings of the Tenth International Conference on Microelectronics (Cat. No.98EX186) - Verificatiom of synchronous realizability of interfaces from timing diagram specifications
El-Aboudi, A., Aboulhamid, E.-M., Cerny, E.Year:
1998
Language:
english
DOI:
10.1109/icm.1998.825579
File:
PDF, 380 KB
english, 1998