Conflict Detection in Call Control Using First-Order Logic Model Checking.

Ahmed F. Layouni Luigi Logrippo Kenneth J. Turner Conflict Detection in Call Control Using First-Order Logic Model Checking. 66-82 2007 ICFI conf/fiw/2007 db/conf/fiw/icfi2007.html#LayouniLT07