GaboardiPechoux09csl (In proceedings)
|
Author(s) | Marco Gaboardi and Romain Péchoux |
Title | « Upper Bounds on Stream I/O Using Semantic Interpretations » |
In | Computer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings |
Series | Lecture Notes in Computer Science |
Editor(s) | Erich Grädel and Reinhard Kahle |
Volume | 5771 |
Page(s) | 271-286 |
Year | 2009 |
Publisher | Springer |
PDF | http://www.di.unito.it/˜gaboardi/papers/GaboardiPechoux09csl.pdf |
@inproceedings{GaboardiPechoux09csl,
volume = {5771},
pdf = {http://www.di.unito.it/~gaboardi/papers/GaboardiPechoux09csl.pdf},
author = {Gaboardi, Marco and P{\'e}choux, Romain},
series = {Lecture Notes in Computer Science},
booktitle = {Computer Science Logic, 23rd international Workshop, CSL 2009,
18th Annual Conference of the EACSL, Coimbra, Portugal, September
7-11, 2009. Proceedings},
editor = {Erich Gr{\"a}del and Reinhard Kahle},
title = {Upper Bounds on Stream I/O Using Semantic Interpretations},
publisher = {Springer},
year = {2009},
pages = {271-286},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)