Flavio Corradini, Maria Rita Di Berardini, Walter Vogler. PAFAS at Work: Comparing the Worst-Case Efficiency of Three Buffer Implementations. In 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 10-11 December 2001, Hong Kong, China, Proceedings. pages 231-240, IEEE Computer Society, 2001. [doi]
Abstract is missing.