From cbc000d86bbf8a8435a198a7b6e04bd4d79e0889 Mon Sep 17 00:00:00 2001 From: Matthew Pickering Date: Tue, 14 Jul 2015 00:12:16 +0200 Subject: [PATCH] fix bahr link --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index d9a2f81..1b66f7c 100644 --- a/README.md +++ b/README.md @@ -90,7 +90,7 @@ Status of links at last commit: [![Build Status](https://travis-ci.org/mpickerin Pierre Genevès (CNRS) and Nils Gesbert (Université Grenoble Alpes) * **Certified Symbolic Management of Financial Multi-Party Contracts** - ([paper](http://www.diku.dk/~paba/pubs/files/bahr15icfp-preprint.pdf)) + ([paper](http://www.diku.dk/~paba/pubs/files/bahr15icfp-paper.pdf)) Patrick Bahr (University of Copenhagen), Jost Berthold (University of Copenhagen), and Martin Elsman (University of Copenhagen)