ArticleIssue Date2002CitationTOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, v.2280, pp.83 - 97PublisherSPRINGER-VERLAG BERLIN
ArticleIssue Date1998CitationISCAS '98 - PROCEEDINGS OF THE 1998 INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-6, pp.E426 - E429PublisherIEEE