Merkliste 
 1 Ergebnisse 
 
1

FILL and FUNI : algorithms to identify illegal states an..:

Long, David E. ; Iyer, Mahesh A. ; Abramovici, Miron
ACM Transactions on Design Automation of Electronic Systems (TODAES).  5 (2000)  3 - p. 631-657 , 2000