%0 Conference Proceedings
%A Groves, Lindsay
%D 2008
%T Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction
%E Harland, James
%E Manyem, Prabhu
%B Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)
%C Wollongong, NSW, Australia
%I ACS
%V 77
%P 133-142
%S CRPIT
%! Verifying Michael and Scott's Lock-Free Queue Algorithm using Trace Reduction
%F CRPITV77-133-142
%Z abstract
%U http://crpit.com/confpapers/CRPITV77Groves.pdf