%0 Conference Paper %1 conf/tacas/SuW04 %A Su, Zhendong %A Wagner, David A. %B TACAS %D 2004 %E Jensen, Kurt %E Podelski, Andreas %I Springer %K dblp %P 280-295 %T A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2004.html#SuW04 %V 2988 %@ 3-540-21299-X

@inproceedings{conf/tacas/SuW04, added-at = {2021-11-30T00:00:00.000+0100}, author = {Su, Zhendong and Wagner, David A.}, biburl = {https://www.bibsonomy.org/bibtex/2cbfa96c8e8b65c05a54a7dbbde08ab48/dblp}, booktitle = {TACAS}, crossref = {conf/tacas/2004}, editor = {Jensen, Kurt and Podelski, Andreas}, ee = {https://doi.org/10.1007/978-3-540-24730-2_23}, interhash = {09711beaa83af38f87ad4e98ced68bca}, intrahash = {cbfa96c8e8b65c05a54a7dbbde08ab48}, isbn = {3-540-21299-X}, keywords = {dblp}, pages = {280-295}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:31:32.000+0200}, title = {A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2004.html#SuW04}, volume = 2988, year = 2004 }