Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

GaboardiPechoux09csl (In proceedings)
Author(s) Marco Gaboardi and Romain Péchoux
Title« Upper Bounds on Stream I/O Using Semantic Interpretations »
InComputer Science Logic, 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings
SeriesLecture Notes in Computer Science
Editor(s) Erich Grädel and Reinhard Kahle
Volume5771
Page(s)271-286
Year2009
PublisherSpringer
PDFhttp://www.di.unito.it/˜gaboardi/papers/GaboardiPechoux09csl.pdf

BibTeX code

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


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!