%0 Conference Paper %1 conf/ifip10-5/ZengCR01 %A Zeng, Zhihong %A Ciesielski, Maciej J. %A Rouzeyre, Bruno %B VLSI-SOC %D 2001 %E Robert, Michel %E Rouzeyre, Bruno %E Piguet, Christian %E Flottes, Marie-Lise %I Kluwer %K dblp %P 375-387 %T Functional Test Generation using Constraint Logic Programming. %U http://dblp.uni-trier.de/db/conf/ifip10-5/ifip10-5-2001.html#ZengCR01 %V 218 %@ 1-4020-7148-5

@inproceedings{conf/ifip10-5/ZengCR01, added-at = {2002-08-13T00:00:00.000+0200}, author = {Zeng, Zhihong and Ciesielski, Maciej J. and Rouzeyre, Bruno}, biburl = {https://www.bibsonomy.org/bibtex/29b6de29c45cf3164fc02ac3830fe7e5a/dblp}, booktitle = {VLSI-SOC}, crossref = {conf/ifip10-5/2001}, date = {2002-08-13}, description = {dblp}, editor = {Robert, Michel and Rouzeyre, Bruno and Piguet, Christian and Flottes, Marie-Lise}, interhash = {5bb107a027e18af5356ded740b9d1ebf}, intrahash = {9b6de29c45cf3164fc02ac3830fe7e5a}, isbn = {1-4020-7148-5}, keywords = {dblp}, pages = {375-387}, publisher = {Kluwer}, series = {IFIP Conference Proceedings}, timestamp = {2002-08-13T00:00:00.000+0200}, title = {Functional Test Generation using Constraint Logic Programming.}, url = {http://dblp.uni-trier.de/db/conf/ifip10-5/ifip10-5-2001.html#ZengCR01}, volume = 218, year = 2001 }