Testing with decision diagrams
From MaRDI portal
Publication:4225359
DOI10.1016/S0167-9260(98)00018-2zbMath0908.68002MaRDI QIDQ4225359
Publication date: 12 January 1999
Published in: Integration (Search for Journal in Brave)
Computer science aspects of computer-aided design (68U07) Mathematical problems of computer architecture (68M07)
This page was built for publication: Testing with decision diagrams