A Rigorous View of Mode Confusion.

Jan Bredereke, Axel Lankenau

Browse the full SAFECOMP paper archive.