Merkliste 
 1 Ergebnisse 
 
1

A general consistency technique for increasing the controll..:

, In: Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design,
Arnstein, Lawrence F. ; Thomas, Don - p. 741-744 , 1993