Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
@codelion
codelion committed Jul 25, 2013
1 parent d32243e commit bf5da1c
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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

0 comments on commit bf5da1c

Please sign in to comment.