![[IEEE Comput. Soc. Press [Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools - Brussels, Belgium (11-14 April 1988)] [Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools - Tool for system design verification]()
[IEEE Comput. Soc. Press [Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools - Brussels, Belgium (11-14 April 1988)] [Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools - Tool for system design verificationBrezocnik, Z.; Horvat, B.; Gerkes, M. · 1988