Global Constraint Checking at Run-Time

Christian Hein, Tom Ritter. Global Constraint Checking at Run-Time. In International Symposium on Autonomous Decentralized Systems (ISADS 2007), 21-23 March 2007, Sedona, AZ, USA. pages 59-68, IEEE, 2007. [doi]

Abstract

Abstract is missing.