"TCG-S: orthogonal coupling of P*-admissible representations for ..."

Jai-Ming Lin, Yao-Wen Chang (2004)

Details and statistics

DOI: 10.1109/TCAD.2004.828114

access: closed

type: Journal Article

metadata version: 2021-07-28

a service of  Schloss Dagstuhl - Leibniz Center for Informatics