papers: add two "to appear" entries
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 14 Jun 2012 13:07:08 +0000 (15:07 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 14 Jun 2012 13:07:08 +0000 (15:07 +0200)
commit703ee3d09f1ba9f1a9ebc7572c94333f75b6458e
treee5364851d9b67a60474b41b4f47cbbcdeac1a58f
parent9c072d3271b76a593ea31ade400b4ee58918482b
papers: add two "to appear" entries
research/publications.mdwn
research/publications/enase2009-upgrade.bib
research/publications/infsof2012-mpm.bib [new file with mode: 0644]
research/publications/matita-crafting.bib
research/publications/phd-thesis.bib
research/publications/sefm2012-aeolus.bib [new file with mode: 0644]
research/publications/streaming-co-constraints.bib
research/publications/wiki-templating-tr.bib