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}
}