Smitha Shyam, Valeria Bertacco. Distance-guided hybrid verification with GUIDO. In Georges G. E. Gielen, editor, Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006. pages 1211-1216, European Design and Automation Association, Leuven, Belgium, 2006. [doi]
@inproceedings{ShyamB06,
title = {Distance-guided hybrid verification with GUIDO},
author = {Smitha Shyam and Valeria Bertacco},
year = {2006},
doi = {10.1145/1131816},
url = {http://doi.acm.org/10.1145/1131816},
researchr = {https://researchr.org/publication/ShyamB06},
cites = {0},
citedby = {0},
pages = {1211-1216},
booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006},
editor = {Georges G. E. Gielen},
publisher = {European Design and Automation Association, Leuven, Belgium},
isbn = {3-9810801-0-6},
}