16 x 23 Linear
LogicVision
DATE 2002, Paris
