Commit Graph

5 Commits

Author SHA1 Message Date
9a7e07986b publication update
Change-Id: I6a8d32fc2739dc5dba817507321bd395684860aa
2015-11-14 15:41:56 +01:00
32b11b35d8 publication update
Change-Id: I4070f0846ee04376e74ed39cfb37cc8b78763ddd
2015-07-23 23:41:51 +02:00
e59918b6df more papers using Fail*
Change-Id: I9737c3304dfa5e265786cd2bab5d59ab282fc25a
2015-04-01 13:59:17 +02:00
80da913264 README: publications update
Change-Id: I4794dbba1e1fc28398bd040a5ffbc4ff821e5a6c
2015-01-11 18:47:37 +01:00
065d534735 Added README and Licensing information
Change-Id: I53301dedc4759186d637fb07bb214482851ecad7
2014-11-03 13:10:12 +01:00