Update README.md

codelion · Apr 20, 2013 · b91b6fc · b91b6fc
1 parent 51dd1a9
commit b91b6fc
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -12,3 +12,12 @@ Usage
 ./spinr filename.pml
 
 Will refine the Promela model filename.pml to a C implementation filename.pml.c 
+
+Publications
+------------
+
+A Refinement Calculus for Promela, ICECCS 2013 (to appear)
+
+[End to End Verification and Validation with SPIN] (http://arxiv.org/abs/1302.4798), CoRR 2013
+
+Towards a Verified Cardiac Pacemaker, Technical Report NUS 2010 [Details] (http://www.comp.nus.edu.sg/~asankhs/research.html)