@inproceedings{conf/icse/ChenDS08,
	title = {A verification system for timed interval calculus.},
	author = {Chunqing Chen and Jin Song Dong and Jun Sun},
	booktitle = {ICSE},
	crossref = {conf/icse/2008},
	editor = { Robby},
	pages = {271-280},
	publisher = {ACM},
	url = {http://dblp.uni-trier.de/db/conf/icse/icse2008.html#ChenDS08},
	year = {2008},
	biburl = {http://www.bibsonomy.org/bibtex/2f003765905f807bf6a7ad40752514320/dblp},
	description = {dblp},
	date = {2008-05-15}, ee = {http://doi.acm.org/10.1145/1368088.1368126}, isbn = {978-1-60558-079-1},
	keywords = {dblp }
}