## Set Constraints with Intersection (0)

### Cached

### Download Links

- [www.mpi-sb.mpg.de]
- [www.ag2.mpi-sb.mpg.de]
- DBLP

### Other Repositories/Bibliography

by
Witold Charatonik
,
Andreas Podelski

Venue: | In Proc. 12th IEEE LICS |

Citations: | 27 - 8 self |

### BibTeX

@INPROCEEDINGS{Charatonik_setconstraints,

author = {Witold Charatonik and Andreas Podelski},

title = {Set Constraints with Intersection},

booktitle = {In Proc. 12th IEEE LICS},

year = {},

pages = {362--372},

publisher = {IEEE}

}

### OpenURL

### Abstract

this paper.