|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| lengrand13itrs (Conference proceedings) | |
| Editor(s) | Stéphane Graham-Lengrand and Luca Paolini |
| Title | « Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012 » |
| Series | Electronic Notes in Theoretical Computer Science |
| Volume | 121 |
| Year | 2013 |
| Publisher | Elsevier, Netherlands |
| URL | http://dx.doi.org/10.4204/EPTCS.121 |
| BibTeX code |
@proceedings{lengrand13itrs,
volume = {121},
bibsource = {dblp computer science bibliography, http://dblp.org},
series = {{Electronic Notes in Theoretical Computer Science}},
editor = {St{\'{e}}phane Graham{-}Lengrand and Luca Paolini},
timestamp = {Tue, 23 Sep 2014 17:17:52 +0200},
url = {http://dx.doi.org/10.4204/EPTCS.121},
title = {Proceedings Sixth Workshop on Intersection Types and Related Systems,
{ITRS} 2012, Dubrovnik, Croatia, 29th June 2012},
publisher = {Elsevier, Netherlands},
biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/Graham-LengrandP13},
year = {2013},
doi = {10.4204/EPTCS.121},
}
|
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)