Merkliste 
 1 Ergebnisse 
 
1

A graphical system for hierarchical specifications and chec..:

, In: Proceedings of the conference on European design automation,
Becker, B. ; Burch, Th. ; Hotz, G.... - p. 174-179 , 1990