Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011
Title | Eighteenth International Symposium on Temporal Representation and Reasoning, TIME 2011, Lübeck , Germany, September 12-14, 2011 |
Publication Type | Conference Proceedings |
Year of Publication | 2011 |
Editor | Combi, C, Leucker, M, Wolter, F |
Conference Name | TIME |
Publisher | IEEE |
ISBN Number | 978-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}, year = {2011}, publisher = {IEEE}, isbn = {978-1-4577-1242-5}, editor = {Carlo Combi and Martin Leucker and Frank Wolter} }