@inproceedings{ADM+0,
title = {Using Redundant Constraints for Refinement },
author = {Asarin, Eugene and Dang, Thao and Maler, Oded and Testylier, Romain},
year = {2010},
booktitle = {Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings},
pages = {37-51},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {6252},
team = {axe_Mohytos, TEMPO},
}
