"Model Checking of Systems Employing Commutative Functions."

A. Prasad Sistla, Min Zhou, Xiaodong Wang (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics