Browse by Person (creator, editor, contributor, etc.)
Up a level |
Jump to: Book section | Conference or workshop item
Number of items: 2.
Book section
Kriener, Jael and King, Andy (2012) Mutual Exclusion by Interpolation: 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012, Proceedings. In: Schrijvers, Tom and Thiemann, Peter, eds. Functional and Logic Programming. Lecture Notes in Computer Science, 7294 . Springer, pp. 182-196. ISBN 978-3-642-29821-9. (doi:https://doi.org/10.1007/978-3-642-29822-6_16) (Full text available) |
Conference or workshop item
Kriener, Jael and King, Andy (2012) Mutual Exclusion by Interpolation. In: Schrijvers, Tom and Thiemann, Peter, eds. Eleventh International Symposium on Functional and Logic Programming. Lecture Notes in Computer Science, 7294. Springer, Kobe, Japan pp. 182-196. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) |