Jochen Eisinger, Felix Klaedtke
Don’t Care Words with an Application to the Automata-Based Approach for Real Addition
CAV, 2006.
@inproceedings{CAV-2006-EisingerK, author = "Jochen Eisinger and Felix Klaedtke", booktitle = "{Proceedings of the 18th International Conference on Computer Aided Verification}", doi = "10.1007/11817963_10", isbn = "3-540-37406-X", pages = "67--80", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Don’t Care Words with an Application to the Automata-Based Approach for Real Addition}", volume = 4144, year = 2006, }