%0 Conference Paper %1 conf/vts/AmyeenFPB99 %A Amyeen, M. Enamul %A Fuchs, W. Kent %A Pomeranz, Irith %A Boppana, Vamsi %B VTS %D 1999 %I IEEE Computer Society %K dblp %P 201-213 %T Implication and Evaluation Techniques for Proving Fault Equivalence. %U http://dblp.uni-trier.de/db/conf/vts/vts1999.html#AmyeenFPB99 %@ 0-7695-0146-X

@inproceedings{conf/vts/AmyeenFPB99, added-at = {2023-03-24T00:00:00.000+0100}, author = {Amyeen, M. Enamul and Fuchs, W. Kent and Pomeranz, Irith and Boppana, Vamsi}, biburl = {https://www.bibsonomy.org/bibtex/27b4df2c9a4e0817f744e5b6df44f6b27/dblp}, booktitle = {VTS}, crossref = {conf/vts/1999}, ee = {https://doi.ieeecomputersociety.org/10.1109/VTEST.1999.766666}, interhash = {3128f830b2d99e79d4240012fb84b95f}, intrahash = {7b4df2c9a4e0817f744e5b6df44f6b27}, isbn = {0-7695-0146-X}, keywords = {dblp}, pages = {201-213}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T07:35:44.000+0200}, title = {Implication and Evaluation Techniques for Proving Fault Equivalence.}, url = {http://dblp.uni-trier.de/db/conf/vts/vts1999.html#AmyeenFPB99}, year = 1999 }