From bf5da1c53fba038d2e5007e3bc1eb091ae797463 Mon Sep 17 00:00:00 2001 From: codelion Date: Thu, 25 Jul 2013 17:47:47 +0800 Subject: [PATCH] Update README.md --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index fc65c7d..57ad8a4 100644 --- a/README.md +++ b/README.md @@ -16,8 +16,8 @@ Will refine the Promela model filename.pml to a C implementation filename.pml.c Publications ------------ -A Refinement Calculus for Promela, ICECCS 2013 (to appear) +A Refinement Calculus for Promela, ICECCS 2013 [End to End Verification and Validation with SPIN] (http://arxiv.org/abs/1302.4796), CoRR 2013 -Towards a Verified Cardiac Pacemaker, Technical Report NUS 2010 [Details] (http://www.comp.nus.edu.sg/~asankhs/research.html) +Towards a Verified Cardiac Pacemaker, Technical Report NUS 2010