%0 Conference Paper %1 conf/itc/HayekR96 %A Hayek, Ghassan Al %A Robach, Chantal %B ITC %D 1996 %I IEEE Computer Society %K %P 885-893 %T From Specification Validation to Hardware Testing: A Unified Method. %U http://dblp.uni-trier.de/db/conf/itc/itc1996.html#HayekR96 %@ 0-7803-3541-4

@inproceedings{conf/itc/HayekR96, added-at = {2023-12-12T20:46:37.000+0100}, author = {Hayek, Ghassan Al and Robach, Chantal}, biburl = {https://www.bibsonomy.org/bibtex/2a9de893698bc8f67c8dd39e753dae3f7/admin}, booktitle = {ITC}, crossref = {conf/itc/1996}, ee = {http://doi.ieeecomputersociety.org/10.1109/TEST.1996.557150}, interhash = {3429864ac64fbb5237a8da57fbddf21d}, intrahash = {a9de893698bc8f67c8dd39e753dae3f7}, isbn = {0-7803-3541-4}, keywords = {}, pages = {885-893}, publisher = {IEEE Computer Society}, timestamp = {2023-12-12T20:46:37.000+0100}, title = {From Specification Validation to Hardware Testing: A Unified Method.}, url = {http://dblp.uni-trier.de/db/conf/itc/itc1996.html#HayekR96}, year = 1996 }