Number of items: 1.
Conference or workshop item
|
Kriener, Jael and King, Andy
(2012)
Mutual Exclusion by Interpolation.
In: Eleventh International Symposium on Functional and Logic Programming.
The full text of this publication is not available from this repository.
|
|
This list was generated on Sat May 25 19:13:26 2013 BST.
