Ignore:
Timestamp:
Jun 14, 2013, 4:43:46 PM (6 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/itp-2013/ccexec.bib

    r2635 r3358  
    468468
    469469
     470@misc{fopara,
     471  author = {R.~M. Amadio and N.~Ayache and F.~Bobot and J.~P. Boender and B.~Campbell and I.~Garnier and A.~Madet and J.~McKinna and D.~P. Mulligan and M.~Piccolo and R.~Pollack and Y.~R\'egis-Gianas and C.~Sacerdoti Coen and I.~Stark and P.~Tranquilli},
     472  title = {Certified Complexity (CerCo)},
     473  note = {Submitted to FOPARA 2013},
     474  year = 2013
     475}
     476
    470477@techreport{EDI-INF-RR-1412,
    471478  author = {Brian Campbell and Randy Pollack},
Note: See TracChangeset for help on using the changeset viewer.