Measuring progress in Premo order-verification

Ryan B. Bond, Curtis C. Ober, Patrick M. Knupp. Measuring progress in Premo order-verification. Eng. Comput. (Lond.), 23(4):283-294, 2007. [doi]

Abstract

Abstract is missing.