Please be advised that the site will be down for maintenance on Sunday, September 1, 2024, from 08:00 to 18:00, and again on Monday, September 2, 2024, from 08:00 to 09:00. We apologize for any inconvenience this may cause.
dc.contributor.author | Isobe, Yoshinao![]() |
|
dc.contributor.author | Roggenbach, Markus![]() |
|
dc.date.accessioned | 2009-03-11T08:29:25Z | |
dc.date.available | 2009-03-11T08:29:25Z | |
dc.date.created | 2008-06-28 | |
dc.date.issued | 2009-03-11T08:29:25Z | |
dc.description | The Post-Proceedings of this Festschrift will be formally published in The South African Computer Journal number 41. | |
dc.identifier.citation | Isobe, Y & Roggenbach, M 2008, 'Verifying the uniform candy distribution puzzle with CSP Prover', in Colloquium and Festschrift at the occasion of the 60th birthday of Derrick Kourie (Computer Science), Windy Brow, South Afica, 28 June 2008.[http://www.cs.up.ac.za/cs/sgruner/Festschrift/] | |
dc.identifier.uri | http://hdl.handle.net/2263/9224 | |
dc.language.iso | en | en_US |
dc.rights | Markus Roggenbach | en_US |
dc.subject | CSP | en_US |
dc.subject | Automated proofs | en_US |
dc.subject | Correctness | en_US |
dc.subject.lcsh | Self-organizing systems -- Data processing | |
dc.subject.lcsh | CSP (Computer program language) | |
dc.title | Verifying the uniform candy distribution puzzle with CSP Prover | en_US |
dc.type | Article | en_US |