Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011

TitleEighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011
Publication TypeConference Proceedings
Year of Publication2011
EditorCombi, C, Leucker, M, Wolter, F
Conference NameTIME
PublisherIEEE
ISBN Number978-1-4577-1242-5
Bibtex: 
@proceedings {756,
	title = {Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, L{\"u}beck , Germany, September 12-14, 2011},
	journal = {TIME},
	year = {2011},
	publisher = {IEEE},
	isbn = {978-1-4577-1242-5},
	editor = {Carlo Combi and Martin Leucker and Frank Wolter}
}