@ARTICLE{CPintersectionJ,
AUTHOR = {Charatonik, Witold and Podelski, Andreas},
TITLE = {Set Constraints with Intersection},
JOURNAL = {Information and Computation},
PUBLISHER = {Academic Press},
YEAR = {2002},
NUMBER = {2},
VOLUME = {179},
PAGES = {213--229},
ADDRESS = {New York, USA},
MONTH = {December},
ISBN = {0890-5401},
}
Entry last modified by Anja Becker, 03/12/2010
Edit History (please click the blue arrow to see the details)
| Editor(s)
Andreas Podelski | Created
01/18/1999 04:58:03 PM |
Revisions
9.
8.
7.
6.
5. | Editor(s)
Anja Becker
Andreas Podelski
Witold Charatonik
Manfred Jaeger
Manfred Jaeger | Edit Dates
09.05.2003 10:42:43
04/15/2003 04:11:54 PM
11/01/2002 16:01:57
31/08/2001 11:30:24
31/08/2001 11:27:00 |