DMCA

Conflict detection in call control using firstorder logic model checking (2007)

by Ahmed F. Layouni , Kenneth J. Turner , Luigi Logrippo
Venue:PROC. 9TH. FEATURE INTERACTIONS IN TELECOMMUNICATIONS AND SOFTWARE SYSTEMS
Citations:16 - 4 self