Merkliste 
 1 Ergebnisse 
 
1

A frame-based approach to hardware verification (abstract o..:

, In: Proceedings of the 15th annual conference on Computer Science,
Jiang, Wei Si ; Wee, William G. - p. 359 ff. , 1987