@inproceedings{alvesNATW08,
 author = {N. Alves, K. Nepal, J. Dworak, R. I. Bahar},
 title = {Using Implications for Online Error Detection},
 booktitle = {17th IEEE North Atlantic Test Workshop},
 month= {May 14-16},
 year = {2008},
 organization={IEEE},
 editor ={},
 isbn = {},
 pages = {},
 publisher = {},
 address = {}
 }