%0 Conference Paper %1 conf/itc/KhalilTR98 %A Khalil, Maisaa %A Traon, Yves Le %A Robach, Chantal %B ITC %D 1998 %I IEEE Computer Society %K %P 1010-1018 %T Towards an automatic diagnosis for high-level design validation. %U http://dblp.uni-trier.de/db/conf/itc/itc1998.html#KhalilTR98 %@ 0-7803-5093-6

@inproceedings{conf/itc/KhalilTR98, added-at = {2023-12-14T15:07:03.000+0100}, author = {Khalil, Maisaa and Traon, Yves Le and Robach, Chantal}, biburl = {https://www.bibsonomy.org/bibtex/2fe60a78bce8ee7c8480b2d530020c7ee/admin}, booktitle = {ITC}, crossref = {conf/itc/1998}, ee = {http://doi.ieeecomputersociety.org/10.1109/TEST.1998.743298}, interhash = {e75f90545cc35beeb7e80d107600b13d}, intrahash = {fe60a78bce8ee7c8480b2d530020c7ee}, isbn = {0-7803-5093-6}, keywords = {}, pages = {1010-1018}, publisher = {IEEE Computer Society}, timestamp = {2023-12-14T15:07:03.000+0100}, title = {Towards an automatic diagnosis for high-level design validation.}, url = {http://dblp.uni-trier.de/db/conf/itc/itc1998.html#KhalilTR98}, year = 1998 }