<?xml version="1.0" encoding="US-ASCII"?>
<dblp>
<inproceedings key="conf/hldvt/FernandesSOT06" mdate="2023-03-23">
<author>Jos&#233; M. Fernandes</author>
<author orcid="0000-0002-2091-1165">Marcelino B. Santos</author>
<author orcid="0000-0001-8638-5594">Arlindo L. Oliveira</author>
<author>Jo&#227;o Paulo Cacho Teixeira</author>
<title>DFT and Probabilistic Testability Analysis at RTL.</title>
<pages>41-47</pages>
<year>2006</year>
<booktitle>HLDVT</booktitle>
<ee>https://doi.org/10.1109/HLDVT.2006.320002</ee>
<ee>https://doi.ieeecomputersociety.org/10.1109/HLDVT.2006.320002</ee>
<ee>https://www.wikidata.org/entity/Q58884031</ee>
<crossref>conf/hldvt/2006</crossref>
<url>db/conf/hldvt/hldvt2006.html#FernandesSOT06</url>
</inproceedings></dblp>
