Darren Dalcher. Smooth Seas - Rough Sailing: The Case of the Lame Ship. In 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK. pages 393-394, IEEE Computer Society, 2000. [doi]
Abstract is missing.