Verifying the uniform candy distribution puzzle with CSP Prover

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