@InProceedings{FS-TIME14,
author = {Carlo A. Furia and Paola Spoletini},
title = {Bounded Variability of Metric Temporal Logic},
booktitle = {Proceedings of the 21st International Symposium on Temporal Representation and Reasoning (TIME'14)},
editor = {Amedeo Cesta and Carlo Combi and Francois Laroussinie},
year = {2014},
month = {September},
publisher = {IEEE Computer Society},
urltopdf={/people/furia/pubs/time14.pdf}
}
You are browsing sechair-bib.bib with bibtexbrowser